Searched defs:spl_level (Results 1 – 2 of 2) sorted by relevance
167 spl_t spl_level = 0; in semaphore_destroy_internal() local347 spl_t spl_level = splsched(); in semaphore_signal_internal() local670 spl_t spl_level; in semaphore_wait_internal() local
402 waitq_flags_splx(spl_t spl_level) in waitq_flags_splx()