ia64/xen-unstable

changeset 6616:ce018d2730c0

Fix debug build that was broken by recent shadow pagetable checkin.
Signed-off-by: ian@xensource.com
author iap10@firebug.cl.cam.ac.uk
date Sat Sep 03 16:33:53 2005 +0000 (2005-09-03)
parents a1de77c1486c
children f27205ea60ef dbded18962a4
files xen/arch/x86/shadow.c
line diff
     1.1 --- a/xen/arch/x86/shadow.c	Fri Sep 02 17:36:29 2005 -0800
     1.2 +++ b/xen/arch/x86/shadow.c	Sat Sep 03 16:33:53 2005 +0000
     1.3 @@ -531,7 +531,7 @@ static void shadow_map_l1_into_current_l
     1.4      int i, init_table = 0;
     1.5  
     1.6      __guest_get_l2e(v, va, &gl2e);
     1.7 -    ASSERT(l2e_get_flags(gl2e) & _PAGE_PRESENT);
     1.8 +    ASSERT(guest_l2e_get_flags(gl2e) & _PAGE_PRESENT);
     1.9      gl1pfn = l2e_get_pfn(gl2e);
    1.10  
    1.11      if ( !(sl1mfn = __shadow_status(d, gl1pfn, PGT_l1_shadow)) )
    1.12 @@ -1664,7 +1664,7 @@ static inline int l1pte_write_fault(
    1.13          return 0;
    1.14      }
    1.15  
    1.16 -    ASSERT(l1e_get_flags(gpte) & _PAGE_RW);
    1.17 +    ASSERT(guest_l1e_get_flags(gpte) & _PAGE_RW);
    1.18      guest_l1e_add_flags(gpte, _PAGE_DIRTY | _PAGE_ACCESSED);
    1.19      spte = l1e_from_pfn(gmfn, guest_l1e_get_flags(gpte) & ~_PAGE_GLOBAL);
    1.20