Searched refs:osKernelState_t (Results 1 – 1 of 1) sorted by relevance
90 } osKernelState_t; typedef320 osKernelState_t osKernelGetState (void);