hypctx_write_sys_reg
hypctx_write_sys_reg(hypctx, HOST_ICH_ELRSR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ICH_LR_EL2(i),
hypctx_write_sys_reg(hypctx, HOST_ICH_LR_EL2(i), 0);
hypctx_write_sys_reg(hypctx, HOST_ICH_HCR_EL2, ICH_HCR_EL2_En);
hypctx_write_sys_reg(hypctx, HOST_ICH_VMCR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ICH_LR_EL2(i), 0UL);
hypctx_write_sys_reg(hypctx, HOST_CNTHCTL_EL2,
hypctx_write_sys_reg(hypctx, HOST_CNTHCTL_EL2,
hypctx_write_sys_reg(hypctx, HOST_CNTHCTL_EL2,
hypctx_write_sys_reg(hypctx, HOST_CNTVOFF_EL2, hypctx->hyp->cntvoff_el2);
hypctx_write_sys_reg(hypctx, HOST_ELR_EL2, (uint64_t)pc);
hypctx_write_sys_reg(hypctx, ELR_EL1,
hypctx_write_sys_reg(hypctx, HOST_ELR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ELR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ELR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ELR_EL2,
hypctx_write_sys_reg(hypctx, SPSR_EL1, new_spsr);
hypctx_write_sys_reg(hypctx, HOST_SPSR_EL2,
hypctx_write_sys_reg(hypctx, HOST_VTTBR_EL2,
hypctx_write_sys_reg(hypctx, FAR_EL1, far);
hypctx_write_sys_reg(hypctx, ESR_EL1, esr);
hypctx_write_sys_reg(hypctx, HOST_SPSR_EL2, host_spsr_el2);
hypctx_write_sys_reg(hypctx, PMCR_EL0,
hypctx_write_sys_reg(hypctx, PMCCNTR_EL0,
hypctx_write_sys_reg(hypctx, PMCCFILTR_EL0,
hypctx_write_sys_reg(hypctx, PMUSERENR_EL0,
hypctx_write_sys_reg(hypctx, PMSELR_EL0,
hypctx_write_sys_reg(hypctx, PMXEVCNTR_EL0,
hypctx_write_sys_reg(hypctx, PMCNTENSET_EL0,
hypctx_write_sys_reg(hypctx, PMINTENSET_EL1,
hypctx_write_sys_reg(hypctx, PMOVSSET_EL0,
hypctx_write_sys_reg(hypctx, PMEVCNTR_EL0(x), \
hypctx_write_sys_reg(hypctx, PMEVTYPER_EL0(x), \
hypctx_write_sys_reg(hypctx, HOST_MDCR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ICH_HCR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ICH_VMCR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ICH_EISR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ICH_ELRSR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ICH_MISR_EL2,
hypctx_write_sys_reg(hypctx, HOST_ICH_LR_EL2(x), \
hypctx_write_sys_reg(hypctx, HOST_ICH_AP0R_EL2(x), \
hypctx_write_sys_reg(hypctx, HOST_ICH_AP1R_EL2(x), \
hypctx_write_sys_reg(hypctx, HOST_CNTHCTL_EL2,
hypctx_write_sys_reg(hypctx, HOST_CNTVOFF_EL2,
hypctx_write_sys_reg(hypctx, HOST_SP_EL1, READ_SPECIALREG(sp_el1));
hypctx_write_sys_reg(hypctx, HOST_ELR_EL2, READ_SPECIALREG(elr_el2));
hypctx_write_sys_reg(hypctx, HOST_SPSR_EL2, READ_SPECIALREG(spsr_el2));
hypctx_write_sys_reg(hypctx, HOST_ESR_EL2,
hypctx_write_sys_reg(hypctx, HOST_FAR_EL2,
hypctx_write_sys_reg(hypctx, PAR_EL1,
hypctx_write_sys_reg(hypctx, SP_EL0, READ_SPECIALREG(sp_el0));
hypctx_write_sys_reg(hypctx, TPIDR_EL0, READ_SPECIALREG(tpidr_el0));
hypctx_write_sys_reg(hypctx, TPIDRRO_EL0, READ_SPECIALREG(tpidrro_el0));
hypctx_write_sys_reg(hypctx, TPIDR_EL1, READ_SPECIALREG(tpidr_el1));
hypctx_write_sys_reg(hypctx, ACTLR_EL1, READ_SPECIALREG(actlr_el1));
hypctx_write_sys_reg(hypctx, CSSELR_EL1, READ_SPECIALREG(csselr_el1));
hypctx_write_sys_reg(hypctx, MDCCINT_EL1, READ_SPECIALREG(mdccint_el1));
hypctx_write_sys_reg(hypctx, MDSCR_EL1, READ_SPECIALREG(mdscr_el1));
hypctx_write_sys_reg(hypctx, ELR_EL1,
hypctx_write_sys_reg(hypctx, VBAR_EL1,
hypctx_write_sys_reg(hypctx, AFSR0_EL1,
hypctx_write_sys_reg(hypctx, AFSR1_EL1,
hypctx_write_sys_reg(hypctx, AMAIR_EL1,
hypctx_write_sys_reg(hypctx, CONTEXTIDR_EL1,
hypctx_write_sys_reg(hypctx, CPACR_EL1,
hypctx_write_sys_reg(hypctx, ESR_EL1,
hypctx_write_sys_reg(hypctx, FAR_EL1,
hypctx_write_sys_reg(hypctx, MAIR_EL1,
hypctx_write_sys_reg(hypctx, SCTLR_EL1,
hypctx_write_sys_reg(hypctx, SPSR_EL1,
hypctx_write_sys_reg(hypctx, TCR_EL1,
hypctx_write_sys_reg(hypctx, TCR2_EL1, 0);
hypctx_write_sys_reg(hypctx, TTBR0_EL1,
hypctx_write_sys_reg(hypctx, TTBR1_EL1,
hypctx_write_sys_reg(hypctx, HOST_CPTR_EL2,
hypctx_write_sys_reg(hypctx, HOST_HCR_EL2,
hypctx_write_sys_reg(hypctx, HOST_VPIDR_EL2,
hypctx_write_sys_reg(hypctx, HOST_VMPIDR_EL2,
hypctx_write_sys_reg(hypctx, HOST_HCRX_EL2,
hypctx_write_sys_reg(hypctx, DBGCLAIMSET_EL1,
hypctx_write_sys_reg(hypctx, DBGBCR_EL1(x), \
hypctx_write_sys_reg(hypctx, DBGBVR_EL1(x), \
hypctx_write_sys_reg(hypctx, HOST_HPFAR_EL2,
hypctx_write_sys_reg(hypctx, HOST_HPFAR_EL2, hpfar_el2);
hypctx_write_sys_reg(hypctx, DBGWCR_EL1(x), \
hypctx_write_sys_reg(hypctx, DBGWVR_EL1(x), \
hypctx_write_sys_reg(el2ctx, HOST_HCRX_EL2, 0);
hypctx_write_sys_reg(el2ctx, HOST_MDCR_EL2,
hypctx_write_sys_reg(el2ctx, HOST_VMPIDR_EL2, VMPIDR_EL2_RES1);
hypctx_write_sys_reg(el2ctx, HOST_VPIDR_EL2,
hypctx_write_sys_reg(el2ctx, HOST_CPTR_EL2,
hypctx_write_sys_reg(el2ctx, HOST_CPTR_EL2,
hypctx_write_sys_reg(el2ctx, HOST_SPSR_EL2, PSR_D | PSR_A | PSR_I | PSR_F);
hypctx_write_sys_reg(el2ctx, HOST_HDFGRTR_EL2, 0);
hypctx_write_sys_reg(el2ctx, HOST_HDFGWTR_EL2, 0);
hypctx_write_sys_reg(el2ctx, PMCR_EL0,
hypctx_write_sys_reg(el2ctx, HOST_HCR_EL2,