From: Jan Beulich <jbeulich@suse.com>
Date: Wed, 13 Feb 2013 08:31:48 +0000 (+0100)
Subject: x86: fix map_domain_page() leak from vcpu_destroy_pagetables()
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~7300
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b61ed421d2c85b5b106c63f2c14f8aa162b282f0;p=xen.git

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@suse.com>
---

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index a58cc1a98f..b7f6749cca 100644
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -1997,6 +1997,7 @@ static void vcpu_destroy_pagetables(struct vcpu *v)
         }
 
         l4e_write(l4tab, l4e_empty());
+        unmap_domain_page(l4tab);
 
         v->arch.cr3 = 0;
         return;