Symbol: gic_v3_ipi_setup
sys/arm64/arm64/gic_v3.c
141
DEVMETHOD(pic_ipi_setup, gic_v3_ipi_setup),
sys/arm64/arm64/gic_v3.c
95
static pic_ipi_setup_t gic_v3_ipi_setup;