Symbol: gicv5_ppi_priority_init
drivers/irqchip/irq-gic-v5.c
995
gicv5_ppi_priority_init();
tools/testing/selftests/kvm/include/arm64/gic_v5.h
141
gicv5_ppi_priority_init();