Symbol: bcm2836mp_ipi_handler
sys/arch/arm/broadcom/bcm2835_intr.c
78
int bcm2836mp_ipi_handler(void *);
sys/arch/arm/broadcom/bcm2835_intr.c
904
IST_LEVEL | IST_MPSAFE, bcm2836mp_ipi_handler, ci);