Symbol: CTPR2IPL
sys/arch/powerpc/booke/e500_intr.c
1213
KASSERTMSG(CTPR2IPL(openpic_read(curcpu()->ci_softc, OPENPIC_CTPR)) == IPL_NONE,
sys/arch/powerpc/booke/e500_intr.c
1215
CTPR2IPL(openpic_read(curcpu()->ci_softc, OPENPIC_CTPR)));