Searched refs:waitq_flags_splx (Results 1 – 4 of 4) sorted by relevance
188 waitq_flags_splx(spl_level) | WAITQ_UNLOCK); in semaphore_destroy_internal()380 WAITQ_UNLOCK | waitq_flags_splx(spl_level)); in semaphore_signal_internal()
402 waitq_flags_splx(spl_t spl_level) in waitq_flags_splx() function
2375 flags | waitq_flags_splx(spl) | WAITQ_UNLOCK); in waitq_wakeup64_one()2397 flags | waitq_flags_splx(spl) | WAITQ_UNLOCK); in waitq_wakeup64_all()2439 result, flags | waitq_flags_splx(spl) | WAITQ_UNLOCK); in waitq_wakeup64_identify()
429 THREAD_AWAKENED, waitq_flags_splx(s)); in sfi_timer_per_class_on()