XC_HI_PIL
if (ipl == XC_HI_PIL)
if (ipl != XC_HI_PIL)
if (avp->av_prilevel != XC_HI_PIL)
s = splr(ipltospl(XC_HI_PIL));
int save_spl = splr(ipltospl(XC_HI_PIL));
(void) add_avintr((void *)NULL, XC_HI_PIL, xc_serv, "xc_intr",
(*pops->psm_get_ipivect)(XC_HI_PIL, PSM_INTR_IPI_HI),
save_spl = splr(ipltospl(XC_HI_PIL));
send_dirint(c, XC_HI_PIL);
send_dirint(c, XC_HI_PIL);
int save_spl = splr(ipltospl(XC_HI_PIL));
ipltospl(XC_HI_PIL), oldsplp)
#define XCALL_PIL XC_HI_PIL /* alias for XC_HI_PIL */