xen-changelog

[Top] [All Lists]

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

from [Xen patchbot -unstable]

[Permanent Link][Original]

To:	xen-changelog@xxxxxxxxxxxxxxxxxxx
Subject:	[Xen-changelog] Fix get_page_type() when passed PGT_va_mutable.
From:	Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>
Date:	Tue, 28 Mar 2006 21:42:07 +0000
Delivery-date:	Tue, 28 Mar 2006 21:43:52 +0000
Envelope-to:	www-data@xxxxxxxxxxxxxxxxxxx
List-help:	<mailto:xen-changelog-request@lists.xensource.com?subject=help>
List-id:	BK change log <xen-changelog.lists.xensource.com>
List-post:	<mailto:xen-changelog@lists.xensource.com>
List-subscribe:	<http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-changelog>, <mailto:xen-changelog-request@lists.xensource.com?subject=subscribe>
List-unsubscribe:	<http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-changelog>, <mailto:xen-changelog-request@lists.xensource.com?subject=unsubscribe>
Reply-to:	xen-devel@xxxxxxxxxxxxxxxxxxx
Sender:	xen-changelog-bounces@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

[More with this subject...]

<Prev in Thread]	Current Thread	[Next in Thread>
[Xen-changelog] Fix get_page_type() when passed PGT_va_mutable., Xen patchbot -unstable <=

Previous by Date:	[Xen-changelog] Clean up and fix VCPU hotplug and SMP save/restore., Xen patchbot -unstable
Next by Date:	[Xen-changelog] Initialise p2m entries to INVALID_MFN and disable debug printk in pfn to mfn lookup., Xen patchbot -unstable
Previous by Thread:	[Xen-changelog] Clean up and fix VCPU hotplug and SMP save/restore., Xen patchbot -unstable
Next by Thread:	[Xen-changelog] Initialise p2m entries to INVALID_MFN and disable debug printk in pfn to mfn lookup., Xen patchbot -unstable
Indexes:	[Date] [Thread] [Top] [All Lists]