Lines Matching defs:openpic_read
461 openpic_read(struct cpu_softc *cpu, bus_size_t offset)
519 KASSERT(openpic_read(cpu, OPENPIC_CTPR) == IPL2CTPR(ci->ci_cpl));
521 KASSERT(openpic_read(cpu, OPENPIC_CTPR) == ctpr);
824 uint32_t dr = openpic_read(cpu, ii.irq_dr);
883 uint32_t vpr = openpic_read(cpu, ii.irq_vpr);
889 while (openpic_read(cpu, ii.irq_vpr) & VPR_A)
963 || IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
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))
983 15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
984 const uint32_t iack = openpic_read(cpu, OPENPIC_IACK);
993 if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
996 15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
1049 if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
1052 15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
1055 if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
1058 15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
1097 const uint32_t frr = openpic_read(cpu, OPENPIC_FRR);
1213 KASSERTMSG(CTPR2IPL(openpic_read(curcpu()->ci_softc, OPENPIC_CTPR)) == IPL_NONE,
1215 CTPR2IPL(openpic_read(curcpu()->ci_softc, OPENPIC_CTPR)));
1228 const u_int32_t frr = openpic_read(cpu, OPENPIC_FRR);
1470 uint32_t dr = openpic_read(cpu, ii.irq_dr);
1519 uint32_t vpr = openpic_read(cpu, ii.irq_vpr);
1525 while (openpic_read(cpu, ii.irq_vpr) & VPR_A)
1555 uint32_t dr = openpic_read(cpu, ii.irq_dr);