futex_wake_pi
static int futex_wake_pi(struct thread *, uint32_t *, bool);
error = futex_wake_pi(td, uaddr, true);