Symbol: OPENPIC_PCPU_IACK
sys/powerpc/powerpc/openpic.c
208
(void)openpic_read(sc, OPENPIC_PCPU_IACK(0));
sys/powerpc/powerpc/openpic.c
295
vector = openpic_read(sc, OPENPIC_PCPU_IACK(cpuid));