mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
bitkeeper revision 1.7.3.45 (3e098772qQl7V_IMM-bJ8HyZHkxFHQ)
debug
This commit is contained in:
lynx@idefix.cl.cam.ac.uk committed
1 parent
126620575a
commit
c74aefc8bd
1 file changed
+3
-1
@@ -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;
|
||||
|
||||