diff --git a/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_core.c b/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_core.c
index 3f5700e700..d8e5397a26 100644
--- a/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_core.c
+++ b/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_core.c
@@ -191,12 +191,14 @@ struct file_operations dom_mem_ops = {
 
 static int dom_map_mem(unsigned int dom, unsigned long pfn, int tot_pages)
 {
+	printk(KERN_ALERT "bd240 debug: dom_map_mem: invoked\n");
+
     int ret = -ENOENT;
     struct proc_dir_entry * pd = xeno_base->subdir;
     struct proc_dir_entry * file;
     proc_memdata_t * memdata;
 
-	printk("bd240 debug: dom_map_mem invoked, xeno_base %lx, subdir %lx\n", xeno_base, xeno_base->subdir);
+	printk(KERN_ALERT "bd240 debug: dom_map_mem invoked, xeno_base %lx, subdir %lx\n", xeno_base, xeno_base->subdir);
  
     while(pd != NULL){