Symbol: bcm2836mp_send_ipi
sys/arch/arm/broadcom/bcm2835_intr.c
184
.pic_ipi_send = bcm2836mp_send_ipi,
sys/arch/arm/broadcom/bcm2835_intr.c
81
static void bcm2836mp_send_ipi(struct pic_softc *, const kcpuset_t *, u_long);