Symbol: psreffed_p_xc
sys/kern/subr_psref.c
496
xc_wait(xc_broadcast(class->prc_xc_flags, &psreffed_p_xc, &P,
sys/kern/subr_psref.c
499
psreffed_p_xc(&P, NULL);