IPL2CTPR
if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
const u_int ctpr = IPL2CTPR(ipl);
KASSERT(openpic_read(cpu, OPENPIC_CTPR) == IPL2CTPR(ci->ci_cpl));
uint32_t vpr = VPR_PRIORITY_MAKE(IPL2CTPR(ipl))
|| IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))