Symbol: gicv5_enable_ipi
sys/arm64/arm64/gicv5.c
1056
gicv5_enable_ipi(gbi);
sys/arm64/arm64/gicv5.c
1504
gicv5_enable_ipi(gbi);