Symbol: ICC_SRE
arch/arm/include/asm/arch_gicv3.h
106
return read_sysreg(ICC_SRE);
arch/arm/include/asm/arch_gicv3.h
111
write_sysreg(val, ICC_SRE);