[Xen-changelog] Unmap io shared page only if it is properly initialized.

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID e7977d6aa6baac49949b54b2396de4087299197d
# Parent  fb1f2498ce1effcbf9bc0b101ae71331ea9cb38c
Unmap io shared page only if it is properly initialized.

Signed-off-by: Xin Li <xin.b.li@xxxxxxxxx>

diff -r fb1f2498ce1e -r e7977d6aa6ba xen/arch/x86/vmx.c
--- a/xen/arch/x86/vmx.c        Thu Dec 15 19:42:09 2005
+++ b/xen/arch/x86/vmx.c        Thu Dec 15 19:43:44 2005
@@ -102,7 +102,8 @@
     if (v->vcpu_id == 0) {
         /* unmap IO shared page */
         struct domain *d = v->domain;
-        unmap_domain_page((void *)d->arch.vmx_platform.shared_page_va);
+        if ( d->arch.vmx_platform.shared_page_va )
+            unmap_domain_page((void *)d->arch.vmx_platform.shared_page_va);
     }
 
     destroy_vmcs(&v->arch.arch_vmx);

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog