Searched refs:wakeup_domain_one (Results 1 – 4 of 4) sorted by relevance
298 wakeup_domain_one(waddr, PDOMAIN_UMTX); in sys_umtx_wakeup()
493 wakeup_domain_one(wchan, domain); in sleepq_signal()
1258 wakeup_domain_one(const volatile void *ident, int domain) in wakeup_domain_one() function
436 void wakeup_domain_one(const volatile void *chan, int domain) __nonnull(1);