# HG changeset patch
# User Keir Fraser <keir.fraser@citrix.com>
# Date 1225285777 0
# Node ID ae100f264f6ad4e828de1ca2d228cccf6ed2bbfd
# Parent  183d2d7adc2f02db63aedaf199e3b006d2e4a053
x86: Fix relinquish_memory() for PGT_partial pages.

Original patch by Jan Beulich.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -1687,6 +1687,8 @@ static int relinquish_memory(
             {
                 if ( free_page_type(page, x, 0) != 0 )
                     BUG();
+                if ( x & PGT_partial )
+                    page->u.inuse.type_info--;
                 break;
             }
         }