__load_stage2(mmu, mmu->arch);
skip_mmu_switch:
- /* Clear TGE, enable S2 translation, we're rolling */
- write_sysreg_hcr((config.hcr & ~HCR_TGE) | HCR_VM);
+ /* Temporarily switch back to guest context */
- write_sysreg(vcpu->arch.hcr_el2, hcr_el2);
++ write_sysreg_hcr(vcpu->arch.hcr_el2);
isb();
switch (op) {
if (!fail)
par = read_sysreg_par();
- write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2);
++ write_sysreg_hcr(HCR_HOST_VHE_FLAGS);
+
if (!(vcpu_el2_e2h_is_set(vcpu) && vcpu_el2_tge_is_set(vcpu)))
__mmu_config_restore(&config);