sys/powerpc/powerpc/openpic.c

125

x = openpic_read(sc, OPENPIC_CONFIG);

sys/powerpc/powerpc/openpic.c

129

while (openpic_read(sc, OPENPIC_CONFIG) & OPENPIC_CONFIG_RESET) {

sys/powerpc/powerpc/openpic.c

134

x = openpic_read(sc, OPENPIC_FEATURE);

sys/powerpc/powerpc/openpic.c

204

x = openpic_read(sc, OPENPIC_CONFIG);

sys/powerpc/powerpc/openpic.c

214

(void)openpic_read(sc, OPENPIC_PCPU_IACK(0));

sys/powerpc/powerpc/openpic.c

277

x = openpic_read(sc, OPENPIC_SRC_VECTOR(irq));

sys/powerpc/powerpc/openpic.c

302

vector = openpic_read(sc, OPENPIC_PCPU_IACK(cpuid));

sys/powerpc/powerpc/openpic.c

329

x = openpic_read(sc, OPENPIC_SRC_VECTOR(irq));

sys/powerpc/powerpc/openpic.c

334

x = openpic_read(sc, OPENPIC_IPI_VECTOR(0));

sys/powerpc/powerpc/openpic.c

375

x = openpic_read(sc, OPENPIC_SRC_VECTOR(irq));

sys/powerpc/powerpc/openpic.c

379

x = openpic_read(sc, OPENPIC_IPI_VECTOR(0));

sys/powerpc/powerpc/openpic.c

393

x = openpic_read(sc, OPENPIC_SRC_VECTOR(irq));

sys/powerpc/powerpc/openpic.c

397

x = openpic_read(sc, OPENPIC_IPI_VECTOR(0));

sys/powerpc/powerpc/openpic.c

95

x = openpic_read(sc, OPENPIC_CONFIG);

sys/powerpc/powerpc/openpic.c

99

while (openpic_read(sc, OPENPIC_CONFIG) & OPENPIC_CONFIG_RESET) {