Symbol: OPENPIC_PCPU_EOI
sys/powerpc/powerpc/openpic.c
209
openpic_write(sc, OPENPIC_PCPU_EOI(0), 0);
sys/powerpc/powerpc/openpic.c
343
openpic_write(sc, OPENPIC_PCPU_EOI(cpuid), 0);