Searched refs:spl_level (Results 1 – 2 of 2) sorted by relevance
167 spl_t spl_level = 0; in semaphore_destroy_internal() local170 spl_level = 1; in semaphore_destroy_internal()172 spl_level = splsched(); in semaphore_destroy_internal()188 waitq_flags_splx(spl_level) | WAITQ_UNLOCK); in semaphore_destroy_internal()194 splx(spl_level); in semaphore_destroy_internal()347 spl_t spl_level = splsched(); in semaphore_signal_internal() local352 splx(spl_level); in semaphore_signal_internal()362 splx(spl_level); in semaphore_signal_internal()366 splx(spl_level); in semaphore_signal_internal()380 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()