sys/arch/evbppc/mpc85xx/machdep.c

1022

cpu_write_4(OPENPIC_BASE + OPENPIC_CTPR, 15); /* IPL_HIGH */

sys/arch/evbppc/mpc85xx/machdep.c

1234

cpu_write_4(OPENPIC_BASE + OPENPIC_CTPR, 15); /* IPL_HIGH */

sys/arch/evbppc/mpc85xx/machdep.c

1237

cpu_read_4(OPENPIC_BASE + OPENPIC_CTPR));

sys/arch/powerpc/booke/e500_intr.c

1049

if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))

sys/arch/powerpc/booke/e500_intr.c

1052

15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));

sys/arch/powerpc/booke/e500_intr.c

1055

if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))

sys/arch/powerpc/booke/e500_intr.c

1058

15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));

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)));

sys/arch/powerpc/booke/e500_intr.c

519

KASSERT(openpic_read(cpu, OPENPIC_CTPR) == IPL2CTPR(ci->ci_cpl));

sys/arch/powerpc/booke/e500_intr.c

520

openpic_write(cpu, OPENPIC_CTPR, ctpr);

sys/arch/powerpc/booke/e500_intr.c

521

KASSERT(openpic_read(cpu, OPENPIC_CTPR) == ctpr);

sys/arch/powerpc/booke/e500_intr.c

963

|| IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))

sys/arch/powerpc/booke/e500_intr.c

967

15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));

sys/arch/powerpc/booke/e500_intr.c

971

__func__, tf, old_ipl, IPL_VM, openpic_read(cpu, OPENPIC_CTPR));

sys/arch/powerpc/booke/e500_intr.c

980

if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))

sys/arch/powerpc/booke/e500_intr.c

983

15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));

sys/arch/powerpc/booke/e500_intr.c

993

if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))

sys/arch/powerpc/booke/e500_intr.c

996

15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));