HomeSort by: relevance | last modified time | path
    Searched defs:openpic_read (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/powerpc/include/
openpic.h 35 static __inline uint32_t openpic_read(u_int);
41 openpic_read(u_int reg) function
59 return openpic_read(OPENPIC_IACK(cpu)) & OPENPIC_VECTOR_MASK;
66 openpic_read(OPENPIC_EOI(cpu));
  /src/sys/arch/powerpc/booke/
e500_intr.c 461 openpic_read(struct cpu_softc *cpu, bus_size_t offset) function
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)
    [all...]

Completed in 20 milliseconds