1.1 --- a/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_core.c	Mon Dec 16 13:24:34 2002 +0000
     1.2 +++ b/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_core.c	Mon Dec 16 13:42:05 2002 +0000
     1.3 @@ -200,6 +200,10 @@ static int dom_map_mem(unsigned int dom,
     1.4  
     1.5  	printk(KERN_ALERT "bd240 debug: dom_map_mem invoked, xeno_base %lx, subdir %lx\n", xeno_base, xeno_base->subdir);
     1.6   
     1.7 +	printk(KERN_ALERT "bd240 debug: dom_map_mem, pd %lx\n", pd);
     1.8 +	printk(KERN_ALERT "bd240 debug: dom_map_mem, pd data %lx\n", pd->data);
     1.9 +	printk(KERN_ALERT "bd240 debug: dom_map_mem, pd %lx\n", ((dom_procdata_t *)pd->data)->domain);
    1.10 +
    1.11      while(pd != NULL){
    1.12  
    1.13  		printk(KERN_ALERT "bd240 debug: dom_map: proc %d\n", ((dom_procdata_t *)pd->data)->domain);