Symbol: bcm_intc_handle_ipi
sys/arch/arm64/dev/bcm2836_intr.c
129
void bcm_intc_handle_ipi(void);
sys/arch/arm64/dev/bcm2836_intr.c
496
bcm_intc_handle_ipi();