Symbol: xive_ipi
sys/powerpc/powernv/xive.c
118
static void xive_ipi(device_t, u_int);
sys/powerpc/powernv/xive.c
134
DEVMETHOD(pic_ipi, xive_ipi),