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 423612285c..a868fb8070 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
@@ -1,4 +1,3 @@
-
 /******************************************************************************
  * dom0_core.c
  * 
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 49fa3f4a30..194af58532 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
@@ -225,6 +225,7 @@ static inline int direct_zap_pte_range(mmu_gather_t *tlb, pmd_t * pmd, unsigned
 		if (pte_none(pte))
 			continue;
 		freed ++;
+		printk("bd240 debug: clearing ptr %lx\n", __pa(ptep) + start_info.phys_base); 
 		direct_pte_clear(ptep);
 	}