Symbol: ICC_CTLR
arch/arm/include/asm/arch_gicv3.h
84
write_sysreg(val, ICC_CTLR);
arch/arm/include/asm/arch_gicv3.h
90
return read_sysreg(ICC_CTLR);