HomeSort by: relevance | last modified time | path
    Searched refs:OPENPIC_CTPR (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/powerpc/booke/
e500_intr.c 519 KASSERT(openpic_read(cpu, OPENPIC_CTPR) == IPL2CTPR(ci->ci_cpl));
520 openpic_write(cpu, OPENPIC_CTPR, ctpr);
521 KASSERT(openpic_read(cpu, OPENPIC_CTPR) == ctpr);
963 || IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
965 "|| old_ipl + %u != OPENPIC_CTPR (%u)",
967 15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
971 __func__, tf, old_ipl, IPL_VM, openpic_read(cpu, OPENPIC_CTPR));
980 if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
981 panic("%s(%p): %d: old_ipl(%u) + %u != OPENPIC_CTPR (%u)",
983 15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
    [all...]
  /src/sys/arch/powerpc/include/booke/
openpicreg.h 77 #define OPENPIC_CTPR 0x0080
  /src/sys/arch/evbppc/mpc85xx/
machdep.c 1002 cpu_write_4(OPENPIC_BASE + OPENPIC_CTPR, 15); /* IPL_HIGH */
1214 cpu_write_4(OPENPIC_BASE + OPENPIC_CTPR, 15); /* IPL_HIGH */
1217 cpu_read_4(OPENPIC_BASE + OPENPIC_CTPR));

Completed in 15 milliseconds