EL1_REG
hypctx->elr_el1 = READ_SPECIALREG(EL1_REG(ELR));
hypctx->vbar_el1 = READ_SPECIALREG(EL1_REG(VBAR));
hypctx->afsr0_el1 = READ_SPECIALREG(EL1_REG(AFSR0));
hypctx->afsr1_el1 = READ_SPECIALREG(EL1_REG(AFSR1));
hypctx->amair_el1 = READ_SPECIALREG(EL1_REG(AMAIR));
hypctx->contextidr_el1 = READ_SPECIALREG(EL1_REG(CONTEXTIDR));
hypctx->cpacr_el1 = READ_SPECIALREG(EL1_REG(CPACR));
hypctx->esr_el1 = READ_SPECIALREG(EL1_REG(ESR));
hypctx->far_el1 = READ_SPECIALREG(EL1_REG(FAR));
hypctx->mair_el1 = READ_SPECIALREG(EL1_REG(MAIR));
hypctx->sctlr_el1 = READ_SPECIALREG(EL1_REG(SCTLR));
hypctx->spsr_el1 = READ_SPECIALREG(EL1_REG(SPSR));
hypctx->tcr_el1 = READ_SPECIALREG(EL1_REG(TCR));
hypctx->ttbr0_el1 = READ_SPECIALREG(EL1_REG(TTBR0));
hypctx->ttbr1_el1 = READ_SPECIALREG(EL1_REG(TTBR1));
WRITE_SPECIALREG(EL1_REG(ELR), hypctx->elr_el1);
WRITE_SPECIALREG(EL1_REG(VBAR), hypctx->vbar_el1);
WRITE_SPECIALREG(EL1_REG(AFSR0), hypctx->afsr0_el1);
WRITE_SPECIALREG(EL1_REG(AFSR1), hypctx->afsr1_el1);
WRITE_SPECIALREG(EL1_REG(AMAIR), hypctx->amair_el1);
WRITE_SPECIALREG(EL1_REG(CONTEXTIDR), hypctx->contextidr_el1);
WRITE_SPECIALREG(EL1_REG(CPACR), hypctx->cpacr_el1);
WRITE_SPECIALREG(EL1_REG(ESR), hypctx->esr_el1);
WRITE_SPECIALREG(EL1_REG(FAR), hypctx->far_el1);
WRITE_SPECIALREG(EL1_REG(MAIR), hypctx->mair_el1); //
WRITE_SPECIALREG(EL1_REG(SCTLR), hypctx->sctlr_el1);
WRITE_SPECIALREG(EL1_REG(SPSR), hypctx->spsr_el1);
WRITE_SPECIALREG(EL1_REG(TCR), hypctx->tcr_el1);
WRITE_SPECIALREG(EL1_REG(TTBR0), hypctx->ttbr0_el1);
WRITE_SPECIALREG(EL1_REG(TTBR1), hypctx->ttbr1_el1);
WRITE_SPECIALREG(EL1_REG(CNTKCTL),
READ_SPECIALREG(EL1_REG(CNTKCTL));