Symbol: armgic_ipi_send
sys/arch/arm/cortex/gic.c
77
static void armgic_ipi_send(struct pic_softc *, const kcpuset_t *, u_long);
sys/arch/arm/cortex/gic.c
92
.pic_ipi_send = armgic_ipi_send,