wakeup_domain
wakeup_domain(td->td_wchan, PDOMAIN_UMTX);
wakeup_domain((void *)(intptr_t)ident, PDOMAIN_UMTX);
wakeup_domain(waddr, PDOMAIN_UMTX);
wakeup_domain(wchan, domain);
void wakeup_domain(const volatile void *chan, int domain) __nonnull(1);