[Xen-changelog] [xen-unstable] x86: fix map_domain_page() leak from vcpu_destroy_pagetables()

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Jan Beulich <jbeulich@xxxxxxxx>
# Date 1360744308 -3600
# Node ID 63594ce1708ffb1269cd124c3a864485eeba1736
# Parent  a37aa55c3cbcb0e8340b4985314ef8fb31d7610b
x86: fix map_domain_page() leak from vcpu_destroy_pagetables()

Introduced by c/s 26450:4816763549e0 and exposed with
26523:fd997a96d448.

Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
---


diff -r a37aa55c3cbc -r 63594ce1708f xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c     Tue Feb 12 11:29:51 2013 +0100
+++ b/xen/arch/x86/domain.c     Wed Feb 13 09:31:48 2013 +0100
@@ -1997,6 +1997,7 @@ static void vcpu_destroy_pagetables(stru
         }
 
         l4e_write(l4tab, l4e_empty());
+        unmap_domain_page(l4tab);
 
         v->arch.cr3 = 0;
         return;

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