direct-io.hg

changeset 10444:db37448ffe97

[XEN] Fix non-debug builds.
Signed-off-by: Keir Fraser <keir@xensource.com>
author kfraser@dhcp93.uk.xensource.com
date Mon Jun 19 11:10:10 2006 +0100 (2006-06-19)
parents 5d44f3ab9950
children 8d75d4e0af1e
files xen/arch/x86/mm.c
line diff
     1.1 --- a/xen/arch/x86/mm.c	Mon Jun 19 10:18:39 2006 +0100
     1.2 +++ b/xen/arch/x86/mm.c	Mon Jun 19 11:10:10 2006 +0100
     1.3 @@ -3378,10 +3378,10 @@ static int ptwr_emulated_update(
     1.4           (l1_linear_offset(l1va) == l1_linear_offset(addr)) )
     1.5          ptwr_flush(d, PTWR_PT_INACTIVE);
     1.6  #else
     1.7 -    ASSERT(((l1va = d->arch.ptwr[PTWR_PT_ACTIVE].l1va) == 0) ||
     1.8 -           (l1_linear_offset(l1va) != l1_linear_offset(addr)));
     1.9 -    ASSERT(((l1va = d->arch.ptwr[PTWR_PT_INACTIVE].l1va) == 0) ||
    1.10 -           (l1_linear_offset(l1va) != l1_linear_offset(addr)));
    1.11 +    BUG_ON(((l1va = d->arch.ptwr[PTWR_PT_ACTIVE].l1va) != 0) &&
    1.12 +           (l1_linear_offset(l1va) == l1_linear_offset(addr)));
    1.13 +    BUG_ON(((l1va = d->arch.ptwr[PTWR_PT_INACTIVE].l1va) != 0) &&
    1.14 +           (l1_linear_offset(l1va) == l1_linear_offset(addr)));
    1.15  #endif
    1.16  
    1.17      /* Read the PTE that maps the page being updated. */