Symbol: gic_v3_ipi_send
sys/arm64/arm64/gic_v3.c
140
DEVMETHOD(pic_ipi_send, gic_v3_ipi_send),
sys/arm64/arm64/gic_v3.c
94
static pic_ipi_send_t gic_v3_ipi_send;