[Xen-changelog] Fix get_page_type() when passed PGT_va_mutable.

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

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID db8266c27c4fed4e1ef37ac7c5548a175238f71d
# Parent  5b1a10f9da4c3663d09f9d000a612b85f1bb24c8
Fix get_page_type() when passed PGT_va_mutable.

Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>

diff -r 5b1a10f9da4c -r db8266c27c4f xen/arch/x86/mm.c
--- a/xen/arch/x86/mm.c Tue Mar 28 17:43:30 2006
+++ b/xen/arch/x86/mm.c Tue Mar 28 20:21:26 2006
@@ -1528,10 +1528,9 @@
                     nx &= ~PGT_va_mask;
                     nx |= type; /* we know the actual type is correct */
                 }
-                else
+                else if ( (type & PGT_va_mask) != PGT_va_mutable )
                 {
                     ASSERT((type & PGT_va_mask) != (x & PGT_va_mask));
-                    ASSERT((type & PGT_va_mask) != PGT_va_mutable);
 #ifdef CONFIG_X86_PAE
                     /* We use backptr as extra typing. Cannot be unknown. */
                     if ( (type & PGT_type_mask) == PGT_l2_page_table )

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