diff --git a/xen-2.4.16/common/memory.c b/xen-2.4.16/common/memory.c
index 4de8d138db..cac09b23d6 100644
--- a/xen-2.4.16/common/memory.c
+++ b/xen-2.4.16/common/memory.c
@@ -1,5 +1,4 @@
 
-
 /******************************************************************************
  * memory.c
  * 
@@ -450,6 +449,9 @@ static void put_page(unsigned long page_nr, int writeable)
              (page_type_count(page) == 0)));
     }
 
+	if(!((!writeable) || (page_type_count(page) != 0)))
+		printk("bd240 debug: put_page failed ASSERT: page num %lx\n", page_nr);
+
     ASSERT((!writeable) || (page_type_count(page) != 0));
     if ( writeable && (put_page_type(page) == 0) )
         page->flags &= ~PG_type_mask;