Searched refs:waitq_flags_splx (Results 1 – 4 of 4) sorted by relevance
186 waitq_flags_splx(spl_level) | WAITQ_UNLOCK); in semaphore_destroy_internal()379 WAITQ_UNLOCK | waitq_flags_splx(spl_level)); in semaphore_signal_internal()
402 waitq_flags_splx(spl_t spl_level) in waitq_flags_splx() function
430 THREAD_AWAKENED, waitq_flags_splx(s)); in sfi_timer_per_class_on()
2343 flags | waitq_flags_splx(spl) | WAITQ_UNLOCK, nthreads); in waitq_wakeup64_nthreads()2412 flags | waitq_flags_splx(spl) | WAITQ_UNLOCK); in waitq_wakeup64_identify()