Searched refs:osKernelState_t (Results 1 – 3 of 3) sorted by relevance
143 __STATIC_INLINE osKernelState_t osRtxKernelState (void) { in osRtxKernelState()145 return ((osKernelState_t)(osRtxInfo.kernel.state)); in osRtxKernelState()
90 } osKernelState_t; typedef320 osKernelState_t osKernelGetState (void);
235 extern void EvrRtxKernelGetState (osKernelState_t state);