vmx: msr_bitmap/msr_area/msr_host_area must be freed when a vcpu is destroyed

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen-unstable changeset:   17879:3da148fb7d9b21afd6a8c023a8e787aec86d1621
xen-unstable date:        Thu Jun 19 11:09:10 2008 +0100

diff --git a/xen/arch/x86/hvm/vmx/vmcs.c b/xen/arch/x86/hvm/vmx/vmcs.c
index 3b6b7b94618a61bdabb45f66c535f067a306b6da..c762bffb9989310b065f152f44c95da95db16dc7 100644 (file)
--- a/xen/arch/x86/hvm/vmx/vmcs.c
+++ b/xen/arch/x86/hvm/vmx/vmcs.c
@@ -748,6 +748,13 @@ void vmx_destroy_vmcs(struct vcpu *v)
 
     vmx_free_vmcs(arch_vmx->vmcs);
     arch_vmx->vmcs = NULL;
+
+    free_xenheap_page(v->arch.hvm_vmx.host_msr_area);
+    v->arch.hvm_vmx.host_msr_area = NULL;
+    free_xenheap_page(v->arch.hvm_vmx.msr_area);
+    v->arch.hvm_vmx.msr_area = NULL;
+    free_xenheap_page(v->arch.hvm_vmx.msr_bitmap);
+    v->arch.hvm_vmx.msr_bitmap = NULL;
 }
 
 void vm_launch_fail(unsigned long eflags)