AMAIR1             36 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c10_AMAIR1]		= read_sysreg(AMAIR1);
AMAIR1             65 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c10_AMAIR1],	AMAIR1);