Symbol: xicp_intr_send_ipi
sys/arch/powerpc64/dev/xicp.c
102
void xicp_intr_send_ipi(void *);
sys/arch/powerpc64/dev/xicp.c
164
_intr_send_ipi = xicp_intr_send_ipi;