Symbol: xics_intr_send_ipi
sys/arch/powerpc64/dev/xics.c
51
void xics_intr_send_ipi(void *);
sys/arch/powerpc64/dev/xics.c
72
sc->sc_ic.ic_send_ipi = xics_intr_send_ipi;