ttr_ipl
if (rec->ttr_ipl == XC_CPUPOKE_PIL)
if (rec->ttr_ipl == XC_CPUPOKE_PIL)
rec->ttr_ipl, rec->ttr_pri, rec->ttr_spl);
ttp->ttr_ipl = 0xff;
ttp->ttr_ipl = (uchar_t)newipl;
ttp->ttr_ipl = 0xff;
ttp->ttr_ipl = newipl;
rec->ttr_ipl,
ttp->ttr_ipl = 0xff;
ttp->ttr_ipl = XC_CPUPOKE_PIL;