diff --git a/xen/common/domctl.c b/xen/common/domctl.c
index cbc8146..307848f 100644
--- a/xen/common/domctl.c
+++ b/xen/common/domctl.c
@@ -902,6 +902,8 @@ long do_domctl(XEN_GUEST_HANDLE(xen_domctl_t) u_domctl)
         else
             ret = pirq_deny_access(d, pirq);
 
+        printk("**DBG perms { %u, %d } = %d\n", pirq, allow, ret);
+
         rcu_unlock_domain(d);
     }
     break;