AMAIR_EL1
ctxt_sys_reg(ctxt, AMAIR_EL1) = read_sysreg_el1(SYS_AMAIR);
write_sysreg_el1(ctxt_sys_reg(ctxt, AMAIR_EL1), SYS_AMAIR);
case AMAIR_EL1:
MAPPED_EL2_SYSREG(AMAIR_EL2, AMAIR_EL1, NULL );
case AMAIR_EL1: val = read_sysreg_s(SYS_AMAIR_EL12); break;
case AMAIR_EL1: write_sysreg_s(val, SYS_AMAIR_EL12); break;
{ SYS_DESC(SYS_AMAIR_EL1), access_vm_reg, reset_amair_el1, AMAIR_EL1 },
{ AA32(LO), Op1( 0), CRn(10), CRm( 3), Op2( 0), access_vm_reg, NULL, AMAIR_EL1 },
{ AA32(HI), Op1( 0), CRn(10), CRm( 3), Op2( 1), access_vm_reg, NULL, AMAIR_EL1 },
vcpu_write_sys_reg(vcpu, amair, AMAIR_EL1);
MAPPED_EL2_SYSREG(AMAIR_EL2, AMAIR_EL1);