Symbol: ps3pic_ipi
sys/powerpc/ps3/ps3pic.c
54
static void ps3pic_ipi(device_t, u_int);
sys/powerpc/ps3/ps3pic.c
79
DEVMETHOD(pic_ipi, ps3pic_ipi),