Symbol: dummy_intr_send_ipi
sys/arch/powerpc64/powerpc64/intr.c
34
void dummy_intr_send_ipi(void *);
sys/arch/powerpc64/powerpc64/intr.c
45
void (*_intr_send_ipi)(void *) = dummy_intr_send_ipi;