ia64/xen-unstable

changeset 16150:2173fe77dcd2

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>
author Keir Fraser <keir@xensource.com>
date Thu Oct 18 09:59:20 2007 +0100 (2007-10-18)
parents 16f5672879c8
children 46a7c9a15b0f
files xen/arch/x86/mm.c
line diff
     1.1 --- a/xen/arch/x86/mm.c	Wed Oct 17 15:37:36 2007 +0100
     1.2 +++ b/xen/arch/x86/mm.c	Thu Oct 18 09:59:20 2007 +0100
     1.3 @@ -3403,7 +3403,7 @@ static int ptwr_emulated_update(
     1.4          ol1e = l1e_from_intpte(old);
     1.5  
     1.6          okay = paging_cmpxchg_guest_entry(v, &l1e_get_intpte(*pl1e),
     1.7 -                                          &t, val, _mfn(mfn));
     1.8 +                                          &t, l1e_get_intpte(nl1e), _mfn(mfn));
     1.9          okay = (okay && t == old);
    1.10  
    1.11          if ( !okay )