wait_for
wait_for(' ');
static void wait_for(int);
wait_for(&CPU1_alive);
void wait_for(volatile int *);
NETBSD32TO64_UAP(wait_for);
syscallarg(lwpid_t) wait_for;
iarg[0] = SCARG(p, wait_for); /* lwpid_t */
error = lwp_wait(l, SCARG(uap, wait_for), &dep, false);
iarg[0] = SCARG(p, wait_for); /* lwpid_t */
syscallarg(lwpid_t) wait_for;