[Xen-changelog] [xen-unstable] [XEN] Fix non-debug builds.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kfraser@xxxxxxxxxxxxxxxxxxxxxxx
# Node ID db37448ffe971e94d1586eea3990fc5e0c49be5d
# Parent  5d44f3ab9950bf2adde2baa0b54221eba1698fc5
[XEN] Fix non-debug builds.
Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>
---
 xen/arch/x86/mm.c |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

diff -r 5d44f3ab9950 -r db37448ffe97 xen/arch/x86/mm.c
--- a/xen/arch/x86/mm.c Mon Jun 19 10:18:39 2006 +0100
+++ b/xen/arch/x86/mm.c Mon Jun 19 11:10:10 2006 +0100
@@ -3378,10 +3378,10 @@ static int ptwr_emulated_update(
          (l1_linear_offset(l1va) == l1_linear_offset(addr)) )
         ptwr_flush(d, PTWR_PT_INACTIVE);
 #else
-    ASSERT(((l1va = d->arch.ptwr[PTWR_PT_ACTIVE].l1va) == 0) ||
-           (l1_linear_offset(l1va) != l1_linear_offset(addr)));
-    ASSERT(((l1va = d->arch.ptwr[PTWR_PT_INACTIVE].l1va) == 0) ||
-           (l1_linear_offset(l1va) != l1_linear_offset(addr)));
+    BUG_ON(((l1va = d->arch.ptwr[PTWR_PT_ACTIVE].l1va) != 0) &&
+           (l1_linear_offset(l1va) == l1_linear_offset(addr)));
+    BUG_ON(((l1va = d->arch.ptwr[PTWR_PT_INACTIVE].l1va) != 0) &&
+           (l1_linear_offset(l1va) == l1_linear_offset(addr)));
 #endif
 
     /* Read the PTE that maps the page being updated. */

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog