Symbol: xicp_ipi
sys/powerpc/pseries/xics.c
73
static void xicp_ipi(device_t, u_int);
sys/powerpc/pseries/xics.c
92
DEVMETHOD(pic_ipi, xicp_ipi),