debuggers.hg

changeset 3678:44232b00c34a

bitkeeper revision 1.1159.241.2 (4202bc56K28qaGGkiiKbJBLxsgnXSA)

Enable monitor assert. Earlier assert was broken and was deleted.

Signed-off-by: Joe Cihula <joseph.cihula@intel.com>
Signed-off-by: ian.pratt@cl.cam.ac.uk
author iap10@labyrinth.cl.cam.ac.uk
date Fri Feb 04 00:05:42 2005 +0000 (2005-02-04)
parents f89816eaeaad
children b66cde79fd78
files xen/arch/x86/domain.c
line diff
     1.1 --- a/xen/arch/x86/domain.c	Fri Feb 04 00:01:54 2005 +0000
     1.2 +++ b/xen/arch/x86/domain.c	Fri Feb 04 00:05:42 2005 +0000
     1.3 @@ -346,6 +346,8 @@ static void monitor_rm_pagetable(struct 
     1.4      l2_pgentry_t *mpl2e;
     1.5      unsigned long mpfn;
     1.6  
     1.7 +    ASSERT( pagetable_val(m->monitor_table) );
     1.8 +    
     1.9      mpl2e = (l2_pgentry_t *) map_domain_mem(pagetable_val(m->monitor_table));
    1.10      /*
    1.11       * First get the pfn for guest_pl2e_cache by looking at monitor_table