ICC_SRE           155 arch/arm/include/asm/arch_gicv3.h CPUIF_MAP(ICC_SRE, ICC_SRE_EL1)
ICC_SRE           224 arch/arm/include/asm/arch_gicv3.h 	return read_sysreg(ICC_SRE);
ICC_SRE           229 arch/arm/include/asm/arch_gicv3.h 	write_sysreg(val, ICC_SRE);