Index: /trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp
===================================================================
--- /trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 891)
+++ /trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 892)
@@ -2900,4 +2900,15 @@
                                 r_dcache_vci_unc_req   = true;
                                 r_dcache_fsm           = DCACHE_UNC_WAIT;
+
+#if DEBUG_DCACHE
+                                if (m_debug_dcache_fsm)
+                                {
+                                    std::cout << "  <PROC " << name() << " DCACHE_IDLE>"
+                                        << " Request WRITE UNCACHEABLE" << std::hex
+                                        << " / VADDR = " << m_dreq.addr
+                                        << " / PADDR = " << paddr
+                                        << std::dec << std::endl;
+                                }
+#endif
                             }
                             else
@@ -2908,4 +2919,15 @@
                                 wbuf_request = true;
                                 updt_request = (cache_state == CACHE_SLOT_STATE_VALID);
+
+#if DEBUG_DCACHE
+                                if (m_debug_dcache_fsm)
+                                {
+                                    std::cout << "  <PROC " << name() << " DCACHE_IDLE>"
+                                        << " Request WBUF WRITE" << std::hex
+                                        << " / VADDR = " << m_dreq.addr
+                                        << " / PADDR = " << paddr
+                                        << std::dec << std::endl;
+                                }
+#endif
                             }
                         }