Searched refs:os_kernel_is_active (Results 1 – 1 of 1) sorted by relevance
682 static uint32_t os_kernel_is_active (void) { in os_kernel_is_active() function699 if (os_kernel_is_active() != 0U) { in __user_perthread_libspace()747 if (os_kernel_is_active() != 0U) { in _mutex_acquire()756 if (os_kernel_is_active() != 0U) { in _mutex_release()
