Symbol: gicv5_ipi_setup
sys/arm64/arm64/gicv5.c
137
static pic_ipi_setup_t gicv5_ipi_setup;
sys/arm64/arm64/gicv5.c
168
DEVMETHOD(pic_ipi_setup, gicv5_ipi_setup),