debuggers.hg
changeset 987:ad93f972420f
bitkeeper revision 1.605 (3fb7c50bXTDlcELkwn27wbUDu6STOQ)
Bug fix.
Bug fix.
author | br260@laudney.cl.cam.ac.uk |
---|---|
date | Sun Nov 16 18:42:19 2003 +0000 (2003-11-16) |
parents | 7272f4d3fafe |
children | 7c5471a2cb87 |
files | xen/common/dom_mem_ops.c |
line diff
1.1 --- a/xen/common/dom_mem_ops.c Sun Nov 16 18:11:18 2003 +0000 1.2 +++ b/xen/common/dom_mem_ops.c Sun Nov 16 18:42:19 2003 +0000 1.3 @@ -111,7 +111,7 @@ static long free_dom_mem(struct task_str 1.4 pf = &frame_table[mpfn]; 1.5 if ( (pf->type_count != 0) || 1.6 (pf->tot_count != 0) || 1.7 - (pf->flags != p->domain) ) 1.8 + (pf->flags & PG_domain_mask != p->domain) ) 1.9 { 1.10 DPRINTK("Bad page free for domain %d (%ld, %ld, %08lx)\n", 1.11 p->domain, pf->type_count, pf->tot_count, pf->flags);