|
@@ -4159,6 +4159,11 @@ EXPORT_SYMBOL_GPL(kvm_put_guest_fpu);
|
|
|
|
|
|
void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu)
|
|
void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu)
|
|
{
|
|
{
|
|
|
|
+ if (vcpu->arch.time_page) {
|
|
|
|
+ kvm_release_page_dirty(vcpu->arch.time_page);
|
|
|
|
+ vcpu->arch.time_page = NULL;
|
|
|
|
+ }
|
|
|
|
+
|
|
kvm_x86_ops->vcpu_free(vcpu);
|
|
kvm_x86_ops->vcpu_free(vcpu);
|
|
}
|
|
}
|
|
|
|
|