diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c
index 5a4f082..b7a8e17 100644
--- a/xen/arch/arm/vgic.c
+++ b/xen/arch/arm/vgic.c
@@ -577,7 +577,11 @@ void vgic_inject_irq(struct domain *d, struct vcpu *v, unsigned int virq,
 
     /* the irq is enabled */
     if ( test_bit(GIC_IRQ_GUEST_ENABLED, &n->status) )
+    {
         gic_raise_guest_irq(v, virq, priority);
+        if ( d->domain_id != 0 )
+            printk("DEBUG virq=%d local=%d\n",virq,v == current);
+    }
 
     list_for_each_entry ( iter, &v->arch.vgic.inflight_irqs, inflight )
     {