diff --git a/xen/arch/x86/physdev.c b/xen/arch/x86/physdev.c
index 2f1d955a96..4f264896d5 100644
--- a/xen/arch/x86/physdev.c
+++ b/xen/arch/x86/physdev.c
@@ -570,6 +570,7 @@ ret_t do_physdev_op(int cmd, XEN_GUEST_HANDLE_PARAM(void) arg)
 
         ret = mp_register_gsi(setup_gsi.gsi, setup_gsi.triggering,
                               setup_gsi.polarity);
+        printk(KERN_INFO "PHYSDEVOP_setup_gsi: setup_gsi.gsi: %d, setup_gsi.triggering: %u,setup_gsi.polarity: %u\n", setup_gsi.gsi, setup_gsi.triggering, setup_gsi.polarity);
         break; 
     }
     case PHYSDEVOP_get_free_pirq: {