diff --git a/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_memory.c b/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_memory.c
index c958dd5535..99aed1ef22 100644
--- a/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_memory.c
+++ b/xenolinux-2.4.16-sparse/arch/xeno/drivers/dom0/dom0_memory.c
@@ -327,6 +327,7 @@ int direct_unmap(unsigned long addr, unsigned long size)
         return -1;
 
     list_del(&node->list);
+	printk(KERN_ALERT "bd240 debug: delisted %lx from dlist\n", node->vm_start);
     kfree(node);
 
     direct_zap_page_range(current->mm, addr, size);