Upgrade to 4.4.50-rt62
[kvmfornfv.git] / kernel / arch / arm / kvm / arm.c
index bb43bc3..36a3e51 100644 (file)
@@ -155,8 +155,6 @@ void kvm_arch_destroy_vm(struct kvm *kvm)
 {
        int i;
 
-       kvm_free_stage2_pgd(kvm);
-
        for (i = 0; i < KVM_MAX_VCPUS; ++i) {
                if (kvm->vcpus[i]) {
                        kvm_arch_vcpu_free(kvm->vcpus[i]);