amair             603 arch/arm64/kvm/sys_regs.c 	u64 amair = read_sysreg(amair_el1);
amair             604 arch/arm64/kvm/sys_regs.c 	vcpu_write_sys_reg(vcpu, amair, AMAIR_EL1);