ICC_CTLR          202 arch/arm/include/asm/arch_gicv3.h 	write_sysreg(val, ICC_CTLR);
ICC_CTLR          208 arch/arm/include/asm/arch_gicv3.h 	return read_sysreg(ICC_CTLR);