Searched refs:os_kernel_active (Results 1 – 1 of 1) sorted by relevance
683 static uint8_t os_kernel_active = 0U; in os_kernel_is_active() local685 if (os_kernel_active == 0U) { in os_kernel_is_active()687 os_kernel_active = 1U; in os_kernel_is_active()690 return (uint32_t)os_kernel_active; in os_kernel_is_active()