AMAIR0             35 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c10_AMAIR0]		= read_sysreg(AMAIR0);
AMAIR0             64 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c10_AMAIR0],	AMAIR0);