diff --git a/xen/common/domctl.c b/xen/common/domctl.c
index c3240db..c7c1058 100644
--- a/xen/common/domctl.c
+++ b/xen/common/domctl.c
@@ -851,6 +851,7 @@ long do_domctl(XEN_GUEST_HANDLE(xen_domctl_t) u_domctl)
     {
         struct domain *d;
         unsigned int pirq = op->u.irq_permission.pirq;
+        int allow = op->u.irq_permission.allow_access;
 
         ret = -ESRCH;
         d = rcu_lock_domain_by_id(op->domain);
@@ -864,6 +865,8 @@ long do_domctl(XEN_GUEST_HANDLE(xen_domctl_t) u_domctl)
         else
             ret = pirq_deny_access(d, pirq);
 
+        printk("**DBG perms { %u, %d } = %ld\n", pirq, allow, ret);
+
         rcu_unlock_domain(d);
     }
     break;