Symbol: xc_extract_ipl
sys/kern/subr_xcall.c
280
unsigned int ipl = xc_extract_ipl(flags);
sys/kern/subr_xcall.c
342
unsigned int ipl = xc_extract_ipl(flags);