ia64/xen-unstable

changeset 16396:d2935f9c217f

x86: Move log-dirty-mode assertion to correct place.
Signed-off-by: Keir Fraser <keir@xensource.com>
author Keir Fraser <keir.fraser@citrix.com>
date Sat Nov 17 13:11:25 2007 +0000 (2007-11-17)
parents 8e98c3d6a55f
children 428679ca60d8 64fbef22f86a
files xen/arch/x86/mm/paging.c
line diff
     1.1 --- a/xen/arch/x86/mm/paging.c	Fri Nov 16 20:06:15 2007 +0000
     1.2 +++ b/xen/arch/x86/mm/paging.c	Sat Nov 17 13:11:25 2007 +0000
     1.3 @@ -269,13 +269,13 @@ void paging_mark_dirty(struct domain *d,
     1.4  
     1.5      gmfn = _mfn(guest_mfn);
     1.6  
     1.7 -    ASSERT(mfn_valid(d->arch.paging.log_dirty.top));
     1.8 -
     1.9      if ( !paging_mode_log_dirty(d) || !mfn_valid(gmfn) )
    1.10          return;
    1.11  
    1.12      log_dirty_lock(d);
    1.13  
    1.14 +    ASSERT(mfn_valid(d->arch.paging.log_dirty.top));
    1.15 +
    1.16      /* We /really/ mean PFN here, even for non-translated guests. */
    1.17      pfn = get_gpfn_from_mfn(mfn_x(gmfn));
    1.18