Index: branches/reconfiguration/modules/vci_xicu/caba/source/src/vci_xicu.cpp
===================================================================
--- branches/reconfiguration/modules/vci_xicu/caba/source/src/vci_xicu.cpp	(revision 970)
+++ branches/reconfiguration/modules/vci_xicu/caba/source/src/vci_xicu.cpp	(revision 973)
@@ -449,5 +449,20 @@
 
 #if SOCLIB_MODULE_DEBUG
-if ( b ) std::cout << "p_irq[" << i << "] = " << b << std::endl;
+if ( b && !p_irq[i].read())
+{
+    std::cout << "[" << name() << "] set p_irq[" << i << "] / "
+              << std::hex
+              << " msk_pti[" << i << "] = " << r_msk_pti[i] << " / "
+              << " pti_pending = " << r_pti_pending << " / "
+              << " msk_wti[" << i << "] = " << r_msk_wti[i] << " / "
+              << " wti_pending = " << r_wti_pending << " / "
+              << " msk_hwi[" << i << "] = " << r_msk_hwi[i] << " / "
+              << " hwi_pending = " << r_hwi_pending
+              << std::dec << std::endl;
+}
+if ( !b && p_irq[i].read())
+{
+    std::cout << "[" << name() << "] unset p_irq[" << i << "]" << std::endl;
+}
 #endif
         p_irq[i] = b;