Searched refs:waitq_flags_splx (Results 1 – 3 of 3) 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
2351 flags | waitq_flags_splx(spl) | WAITQ_UNLOCK); in waitq_wakeup64_one()2373 flags | waitq_flags_splx(spl) | WAITQ_UNLOCK); in waitq_wakeup64_all()2415 result, flags | waitq_flags_splx(spl) | WAITQ_UNLOCK); in waitq_wakeup64_identify()