diff -r 42e9682e4b61 xen/arch/x86/mm/shadow/multi.c
--- a/xen/arch/x86/mm/shadow/multi.c	Mon Oct 26 13:33:38 2009 +0000
+++ b/xen/arch/x86/mm/shadow/multi.c	Mon Nov 16 16:58:27 2009 +0000
@@ -1117,7 +1117,8 @@
             }
             else
             {
-                ASSERT(dirty_vram->sl1ma[i] == sl1ma);
+                ASSERT((dirty_vram->sl1ma[i] & PAGE_MASK) 
+                       == (sl1ma & PAGE_MASK));
                 dirty_vram->sl1ma[i] = INVALID_PADDR;
                 if ( flags & _PAGE_DIRTY )
                     dirty = 1;