kern_umtx_wake
(void)kern_umtx_wake(td, uap->state, INT_MAX, 0);
return (kern_umtx_wake(td, uap->obj, uap->val, 0));
kern_umtx_wake(td, uaddrs[i], INT_MAX, 1);
kern_umtx_wake(td, (void *)(uintptr_t)uaddrs[i],
return (kern_umtx_wake(td, uap->obj, uap->val, 1));
int kern_umtx_wake(struct thread *, void *, int, int);