a32lo             115 arch/arm/include/asm/arch_gicv3.h #define CPUIF_MAP_LO_HI(a32lo, a32hi, a64)	\
a32lo             118 arch/arm/include/asm/arch_gicv3.h 	write_sysreg(lower_32_bits(val), a32lo);\
a32lo             123 arch/arm/include/asm/arch_gicv3.h 	u64 val = read_sysreg(a32lo);		\