a32hi             115 arch/arm/include/asm/arch_gicv3.h #define CPUIF_MAP_LO_HI(a32lo, a32hi, a64)	\
a32hi             119 arch/arm/include/asm/arch_gicv3.h 	write_sysreg(upper_32_bits(val), a32hi);\
a32hi             125 arch/arm/include/asm/arch_gicv3.h 	val |=	(u64)read_sysreg(a32hi) << 32;	\