1.1 --- a/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_core.c	Mon Dec 16 12:50:14 2002 +0000
     1.2 +++ b/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_core.c	Mon Dec 16 13:04:20 2002 +0000
     1.3 @@ -165,6 +165,9 @@ static ssize_t dom_mem_read(struct file 
     1.4  {
     1.5      unsigned long addr;
     1.6      pgprot_t prot;
     1.7 +
     1.8 +	printk(KERN_ALERT "bd240 debug: dom_mem_read invoked!\n");
     1.9 +
    1.10      proc_memdata_t * mem_data = (proc_memdata_t *)((struct proc_dir_entry *)file->f_dentry->d_inode->u.generic_ip)->data;
    1.11  
    1.12      prot = PAGE_SHARED; 
    1.13 @@ -193,6 +196,8 @@ static int dom_map_mem(unsigned int dom,
    1.14      struct proc_dir_entry * file;
    1.15      proc_memdata_t * memdata;
    1.16  
    1.17 +	printk("bd240 debug: dom_map_mem invoked, xeno_base %lx, subdir %lx\n", xeno_base, xeno_base->subdir);
    1.18 + 
    1.19      while(pd != NULL){
    1.20  
    1.21  		printk(KERN_ALERT "bd240 debug: dom_map: proc %d\n", ((dom_procdata_t *)pd->data)->domain);