Symbol: gicv5_ppi_priority_init
drivers/irqchip/irq-gic-v5.c
62
static void gicv5_ppi_priority_init(void)
tools/testing/selftests/kvm/include/arm64/gic_v5.h
100
void gicv5_ppi_priority_init(void)