Symbol: xive_intr_send_ipi
sys/arch/powerpc64/dev/xive.c
155
void xive_intr_send_ipi(void *);
sys/arch/powerpc64/dev/xive.c
230
_intr_send_ipi = xive_intr_send_ipi;