x86: Fix writable-pagetable cmpxchg path to properly adjust PTE (i.e.,

set _PAGE_GLOBAL for x86/64 guest user mappings).
Signed-off-by: Keir Fraser <keir@xensource.com>
xen-unstable changeset:   16129:2173fe77dcd216dc278a43f59430915a5b53180d
xen-unstable date:        Thu Oct 18 09:59:20 2007 +0100

diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c
index 5261570cc281e79c7af3c4c74c5168fb9f12ba89..e3887cca9529ca39c4eea8f1279e8d0b08581aa3 100644 (file)
--- a/xen/arch/x86/mm.c
+++ b/xen/arch/x86/mm.c
@@ -3305,7 +3305,7 @@ static int ptwr_emulated_update(
         ol1e = l1e_from_intpte(old);
 
         okay = paging_cmpxchg_guest_entry(v, &l1e_get_intpte(*pl1e),
-                                          &t, val, _mfn(mfn));
+                                          &t, l1e_get_intpte(nl1e), _mfn(mfn));
         okay = (okay && t == old);
 
         if ( !okay )