wakeup_domain_one
wakeup_domain_one(waddr, PDOMAIN_UMTX);
wakeup_domain_one(wchan, domain);
void wakeup_domain_one(const volatile void *chan, int domain) __nonnull(1);