Symbol: SYS_ICC_PPI_SACTIVER1_EL1
drivers/irqchip/irq-gic-v5.c
290
read_sysreg_s(SYS_ICC_PPI_SACTIVER1_EL1);
drivers/irqchip/irq-gic-v5.c
323
write_sysreg_s(bit, SYS_ICC_PPI_SACTIVER1_EL1);