|
@@ -30,7 +30,7 @@ static void __hyp_text __tlb_switch_to_guest_vhe(struct kvm *kvm)
|
|
|
* bits. Changing E2H is impossible (goodbye TTBR1_EL2), so
|
|
|
* let's flip TGE before executing the TLB operation.
|
|
|
*/
|
|
|
- write_sysreg(kvm->arch.vttbr, vttbr_el2);
|
|
|
+ __load_guest_stage2(kvm);
|
|
|
val = read_sysreg(hcr_el2);
|
|
|
val &= ~HCR_TGE;
|
|
|
write_sysreg(val, hcr_el2);
|
|
@@ -39,7 +39,7 @@ static void __hyp_text __tlb_switch_to_guest_vhe(struct kvm *kvm)
|
|
|
|
|
|
static void __hyp_text __tlb_switch_to_guest_nvhe(struct kvm *kvm)
|
|
|
{
|
|
|
- write_sysreg(kvm->arch.vttbr, vttbr_el2);
|
|
|
+ __load_guest_stage2(kvm);
|
|
|
isb();
|
|
|
}
|
|
|
|