Symbol: SYS_ICC_PPI_PRIORITYR12_EL1
drivers/irqchip/irq-gic-v5.c
76
write_sysreg_s(REPEAT_BYTE(GICV5_IRQ_PRI_MI), SYS_ICC_PPI_PRIORITYR12_EL1);
tools/testing/selftests/kvm/include/arm64/gic_v5.h
114
write_sysreg_s(REPEAT_BYTE(GICV5_IRQ_DEFAULT_PRI), SYS_ICC_PPI_PRIORITYR12_EL1);