diff --git a/arch/x86/pci/xen.c b/arch/x86/pci/xen.c
index 652cd53e77f6..ccee3e331eb8 100644
--- a/arch/x86/pci/xen.c
+++ b/arch/x86/pci/xen.c
@@ -69,6 +69,8 @@ static int xen_register_pirq(u32 gsi, int triggering, bool set_pirq)
 	int shareable = 0;
 	char *name;
 
+	printk(KERN_DEBUG "xen_register_pirq: before xen_irq_from_gsi: gsi %u triggering %i set_pirq %d\n", gsi, triggering, set_pirq);
+
 	irq = xen_irq_from_gsi(gsi);
 	if (irq > 0)
 		return irq;
@@ -94,12 +96,13 @@ static int xen_register_pirq(u32 gsi, int triggering, bool set_pirq)
 		shareable = 1;
 		name = "ioapic-level";
 	}
+	printk(KERN_DEBUG "xen_register_pirq: after HYPERVISOR_physdev_op, before xen_bind_pirq_gsi_to_irq: gsi %u triggering %i shareable %i name %s\n", gsi, triggering, shareable, name);
 
 	irq = xen_bind_pirq_gsi_to_irq(gsi, map_irq.pirq, shareable, name);
 	if (irq < 0)
 		goto out;
 
-	printk(KERN_DEBUG "xen: --> pirq=%d -> irq=%d (gsi=%d)\n", map_irq.pirq, irq, gsi);
+	printk(KERN_DEBUG "xen_register_pirq: xen: --> pirq=%d -> irq=%d (gsi=%d)\n", map_irq.pirq, irq, gsi);
 out:
 	return irq;
 }
@@ -123,7 +126,7 @@ static int xen_register_gsi(u32 gsi, int triggering, int polarity)
 	if (!xen_pv_domain())
 		return -1;
 
-	printk(KERN_DEBUG "xen: registering gsi %u triggering %d polarity %d\n",
+	printk(KERN_DEBUG "xen_register_gsi: xen: registering gsi %u triggering %i polarity %i\n",
 			gsi, triggering, polarity);
 
 	irq = xen_register_pirq(gsi, triggering, true);
@@ -132,6 +135,8 @@ static int xen_register_gsi(u32 gsi, int triggering, int polarity)
 	setup_gsi.triggering = (triggering == ACPI_EDGE_SENSITIVE ? 0 : 1);
 	setup_gsi.polarity = (polarity == ACPI_ACTIVE_HIGH ? 0 : 1);
 
+    printk(KERN_DEBUG "xen_register_gsi: Before HYPERVISOR_physdev_op  setup_gsi.gsi: %u, setup_gsi.triggering: %i, setup_gsi.polarity: %i\n", setup_gsi.gsi, setup_gsi.triggering, setup_gsi.polarity);
+   
 	rc = HYPERVISOR_physdev_op(PHYSDEVOP_setup_gsi, &setup_gsi);
 	if (rc == -EEXIST)
 		printk(KERN_INFO "Already setup the GSI :%d\n", gsi);