|
@@ -885,8 +885,12 @@ static int vcpu_mmu_init(struct kvm_vcpu *vcpu,
|
|
|
vcpu->arch.tlbps[0] = mfspr(SPRN_TLB0PS);
|
|
|
vcpu->arch.tlbps[1] = mfspr(SPRN_TLB1PS);
|
|
|
|
|
|
+ vcpu->arch.mmucfg &= ~MMUCFG_LRAT;
|
|
|
+
|
|
|
/* Guest mmu emulation currently doesn't handle E.PT */
|
|
|
vcpu->arch.eptcfg = 0;
|
|
|
+ vcpu->arch.tlbcfg[0] &= ~TLBnCFG_PT;
|
|
|
+ vcpu->arch.tlbcfg[1] &= ~TLBnCFG_IND;
|
|
|
}
|
|
|
|
|
|
return 0;
|