openpic_read
if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
const uint32_t frr = openpic_read(cpu, OPENPIC_FRR);
KASSERTMSG(CTPR2IPL(openpic_read(curcpu()->ci_softc, OPENPIC_CTPR)) == IPL_NONE,
CTPR2IPL(openpic_read(curcpu()->ci_softc, OPENPIC_CTPR)));
const u_int32_t frr = openpic_read(cpu, OPENPIC_FRR);
uint32_t dr = openpic_read(cpu, ii.irq_dr);
uint32_t vpr = openpic_read(cpu, ii.irq_vpr);
while (openpic_read(cpu, ii.irq_vpr) & VPR_A)
uint32_t dr = openpic_read(cpu, ii.irq_dr);
KASSERT(openpic_read(cpu, OPENPIC_CTPR) == IPL2CTPR(ci->ci_cpl));
KASSERT(openpic_read(cpu, OPENPIC_CTPR) == ctpr);
uint32_t dr = openpic_read(cpu, ii.irq_dr);
uint32_t vpr = openpic_read(cpu, ii.irq_vpr);
while (openpic_read(cpu, ii.irq_vpr) & VPR_A)
|| IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
__func__, tf, old_ipl, IPL_VM, openpic_read(cpu, OPENPIC_CTPR));
if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
const uint32_t iack = openpic_read(cpu, OPENPIC_IACK);
if (IPL2CTPR(old_ipl) != openpic_read(cpu, OPENPIC_CTPR))
15 - IPL_HIGH, openpic_read(cpu, OPENPIC_CTPR));
static __inline uint32_t openpic_read(u_int);
return openpic_read(OPENPIC_IACK(cpu)) & OPENPIC_VECTOR_MASK;
openpic_read(OPENPIC_EOI(cpu));
x = openpic_read(OPENPIC_IPI_VECTOR(0));
x = bswap32(openpic_read(OPENPIC_IPI_VECTOR(1)));
x = openpic_read(OPENPIC_IPI_VECTOR(1));
x = openpic_read(OPENPIC_CPU_PRIORITY(cpu));
x = openpic_read(OPENPIC_CONFIG);
printf("timebase freq=%d\n", openpic_read(0x10f0));
x = openpic_read(OPENPIC_FEATURE);
printf("timebase freq=%d\n", openpic_read(0x10f0));
x = openpic_read(MPCPIC_IVEC(irq));
x = openpic_read(MPCPIC_IVEC(irq));
x = openpic_read(OPENPIC_FEATURE);
x = openpic_read(OPENPIC_CONFIG);
x = openpic_read(OPENPIC_CONFIG);
printf("timebase freq=%d\n", openpic_read(0x10f0));
x = openpic_read(OPENPIC_SRC_VECTOR(irq));
x = openpic_read(OPENPIC_SRC_VECTOR(irq));
x = openpic_read(OPENPIC_FEATURE);
x = openpic_read(OPENPIC_SRC_VECTOR(irq));
x = openpic_read(OPENPIC_SRC_VECTOR(irq));
x = openpic_read(OPENPIC_CPU_PRIORITY(cpu));