|
@@ -138,8 +138,8 @@ void kvmppc_core_vcpu_free(struct kvm_vcpu *vcpu)
|
|
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
|
|
struct kvmppc_vcpu_e500 *vcpu_e500 = to_e500(vcpu);
|
|
|
|
|
|
free_page((unsigned long)vcpu->arch.shared);
|
|
free_page((unsigned long)vcpu->arch.shared);
|
|
- kvmppc_e500_tlb_uninit(vcpu_e500);
|
|
|
|
kvm_vcpu_uninit(vcpu);
|
|
kvm_vcpu_uninit(vcpu);
|
|
|
|
+ kvmppc_e500_tlb_uninit(vcpu_e500);
|
|
kmem_cache_free(kvm_vcpu_cache, vcpu_e500);
|
|
kmem_cache_free(kvm_vcpu_cache, vcpu_e500);
|
|
}
|
|
}
|
|
|
|
|