Searched refs:spl_level (Results 1 – 2 of 2) sorted by relevance
165 spl_t spl_level = 0; in semaphore_destroy_internal() local168 spl_level = 1; in semaphore_destroy_internal()170 spl_level = splsched(); in semaphore_destroy_internal()186 waitq_flags_splx(spl_level) | WAITQ_UNLOCK); in semaphore_destroy_internal()192 splx(spl_level); in semaphore_destroy_internal()346 spl_t spl_level = splsched(); in semaphore_signal_internal() local351 splx(spl_level); in semaphore_signal_internal()361 splx(spl_level); in semaphore_signal_internal()365 splx(spl_level); in semaphore_signal_internal()379 WAITQ_UNLOCK | waitq_flags_splx(spl_level)); in semaphore_signal_internal()[all …]
402 waitq_flags_splx(spl_t spl_level) in waitq_flags_splx() argument404 return spl_level ? WAITQ_ENABLE_INTERRUPTS : WAITQ_WAKEUP_DEFAULT; in waitq_flags_splx()