Symbol: xc_encode_ipl
sys/sys/xcall.h
40
#define XC_HIGHPRI_IPL(ipl) (XC_HIGHPRI | xc_encode_ipl(ipl))
sys/sys/xcall.h
58
unsigned int xc_encode_ipl(int);