Lines Matching defs:savedipl
83 splx(int savedipl)
86 KASSERT(savedipl < NIPL);
88 if (__predict_false(savedipl == ci->ci_cpl)) {
94 KASSERTMSG(panicstr != NULL || savedipl < ci->ci_cpl,
95 "splx(%d) to a higher ipl than %d", savedipl, ci->ci_cpl);
98 pic_do_pending_ints(psw, savedipl, NULL);
100 KASSERTMSG(ci->ci_cpl == savedipl, "cpl %d savedipl %d",
101 ci->ci_cpl, savedipl);
105 pic_set_priority(ci, savedipl);
109 KASSERTMSG(ci->ci_cpl == savedipl, "cpl %d savedipl %d",
110 ci->ci_cpl, savedipl);