Symbol: bcm_intc_send_ipi
sys/arch/arm64/dev/bcm2836_intr.c
130
void bcm_intc_send_ipi(struct cpu_info *, int);
sys/arch/arm64/dev/bcm2836_intr.c
237
intr_send_ipi_func = bcm_intc_send_ipi;