ia64/xen-unstable

changeset 70:2104e311e164

bitkeeper revision 1.7.3.45 (3e098772qQl7V_IMM-bJ8HyZHkxFHQ)

debug
author lynx@idefix.cl.cam.ac.uk
date Wed Dec 25 10:24:50 2002 +0000 (2002-12-25)
parents f30aedb6c2ac
children a7385821f04d
files xen-2.4.16/common/memory.c
line diff
     1.1 --- a/xen-2.4.16/common/memory.c	Mon Dec 23 09:37:07 2002 +0000
     1.2 +++ b/xen-2.4.16/common/memory.c	Wed Dec 25 10:24:50 2002 +0000
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  
     1.6  /******************************************************************************
     1.7   * memory.c
     1.8 @@ -450,6 +449,9 @@ static void put_page(unsigned long page_
     1.9               (page_type_count(page) == 0)));
    1.10      }
    1.11  
    1.12 +	if(!((!writeable) || (page_type_count(page) != 0)))
    1.13 +		printk("bd240 debug: put_page failed ASSERT: page num %lx\n", page_nr);
    1.14 +
    1.15      ASSERT((!writeable) || (page_type_count(page) != 0));
    1.16      if ( writeable && (put_page_type(page) == 0) )
    1.17          page->flags &= ~PG_type_mask;