|
@@ -887,7 +887,6 @@ int kvmppc_handle_exit(struct kvm_run *run, struct kvm_vcpu *vcpu,
|
|
vcpu->arch.shared->msr |=
|
|
vcpu->arch.shared->msr |=
|
|
to_svcpu(vcpu)->shadow_srr1 & 0x58000000;
|
|
to_svcpu(vcpu)->shadow_srr1 & 0x58000000;
|
|
kvmppc_book3s_queue_irqprio(vcpu, exit_nr);
|
|
kvmppc_book3s_queue_irqprio(vcpu, exit_nr);
|
|
- kvmppc_mmu_pte_flush(vcpu, kvmppc_get_pc(vcpu), ~0xFFFUL);
|
|
|
|
r = RESUME_GUEST;
|
|
r = RESUME_GUEST;
|
|
}
|
|
}
|
|
break;
|
|
break;
|
|
@@ -913,7 +912,6 @@ int kvmppc_handle_exit(struct kvm_run *run, struct kvm_vcpu *vcpu,
|
|
vcpu->arch.shared->dar = dar;
|
|
vcpu->arch.shared->dar = dar;
|
|
vcpu->arch.shared->dsisr = to_svcpu(vcpu)->fault_dsisr;
|
|
vcpu->arch.shared->dsisr = to_svcpu(vcpu)->fault_dsisr;
|
|
kvmppc_book3s_queue_irqprio(vcpu, exit_nr);
|
|
kvmppc_book3s_queue_irqprio(vcpu, exit_nr);
|
|
- kvmppc_mmu_pte_flush(vcpu, dar, ~0xFFFUL);
|
|
|
|
r = RESUME_GUEST;
|
|
r = RESUME_GUEST;
|
|
}
|
|
}
|
|
break;
|
|
break;
|