Symbol: atpic_ipi
sys/powerpc/mpc85xx/atpic.c
77
static void atpic_ipi(device_t, u_int);
sys/powerpc/mpc85xx/atpic.c
95
DEVMETHOD(pic_ipi, atpic_ipi),