diff --git a/arch/x86/xen/setup.c b/arch/x86/xen/setup.c
index 46d6d21..3368c30 100644
--- a/arch/x86/xen/setup.c
+++ b/arch/x86/xen/setup.c
@@ -166,9 +166,11 @@ static unsigned long __init xen_set_identity(const struct e820entry *list,
 			continue;
 
 		if ((entry->type == E820_RAM) || (entry->type == E820_UNUSABLE)) {
+			printk(KERN_INFO "(%lx->%lx) PCI: %lx->%lx (last %lx, now %lx)\n",
+				start, end, start_pci, start, last, end);
 			if (start > start_pci)
 				identity += set_phys_range_identity(
-						PFN_UP(start_pci), PFN_DOWN(start));
+						PFN_DOWN(start_pci), PFN_DOWN(start));
 
 			/* Without saving 'last' we would gooble RAM too
 			 * at the end of the loop. */