Index: trunk/modules/vci_cc_vcache_wrapper/caba/source/include/vci_cc_vcache_wrapper.h
===================================================================
--- trunk/modules/vci_cc_vcache_wrapper/caba/source/include/vci_cc_vcache_wrapper.h	(revision 1061)
+++ trunk/modules/vci_cc_vcache_wrapper/caba/source/include/vci_cc_vcache_wrapper.h	(revision 1063)
@@ -357,4 +357,6 @@
     sc_signal<uint32_t>     r_mmu_ietr;                 // mmu instruction error type
     sc_signal<uint32_t>     r_mmu_detr;                 // mmu data error type
+    sc_signal<uint32_t>     r_mmu_dext;                 // data address extension (when vci_address > 32 bits)
+    sc_signal<uint32_t>     r_mmu_iext;                 // inst address extension (when vci_address > 32 bits)
     uint32_t	            r_mmu_params;		        // read-only
     uint32_t	            r_mmu_release;		        // read_only
@@ -408,7 +410,4 @@
     sc_signal<size_t>       r_icache_cc_send_way;           // ICACHE cc_send way
     sc_signal<size_t>       r_icache_cc_send_updt_tab_idx;  // ICACHE cc_send update table index
-
-    // Physical address extension for data access
-    sc_signal<uint32_t>     r_icache_paddr_ext;             // CP2 register (if vci_address > 32)
 
     ///////////////////////////////
@@ -510,7 +509,4 @@
     bool                    *r_dcache_in_tlb;               // copy exist in dtlb or itlb
     bool                    *r_dcache_contains_ptd;         // cache line contains a PTD
-
-    // Physical address extension for data access
-    sc_signal<uint32_t>     r_dcache_paddr_ext;             // CP2 register (if vci_address > 32)
 
     ///////////////////////////////////
@@ -766,5 +762,5 @@
     // Set the m_dcache_paddr_ext_reset attribute
     //
-    // The r_dcache_paddr_ext register will be initialized after
+    // The r_mmu_dext register will be initialized after
     // reset with the m_dcache_paddr_ext_reset value
     /////////////////////////////////////////////////////////////
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 1061)
+++ trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 1063)
@@ -502,5 +502,8 @@
               << "  MMU_MODE = " << r_mmu_mode.read()
               << " | MMU_PTPR = " << r_mmu_ptpr.read()
-              << " | LLSC_COUNT = " << r_llsc_count.read()
+              << " | MMU_DEXT = " << r_mmu_dext.read()
+              << " | MMU_IEXT = " << r_mmu_iext.read() << std::endl;
+
+    std::cout << "  LLSC_COUNT = " << r_llsc_count.read()
               << " | LLSC_PADDR = " << r_llsc_paddr.read()
               << " | LLSC_KEY = " << r_llsc_key.read();
@@ -793,8 +796,8 @@
 
         // reset data physical address extension
-        r_dcache_paddr_ext = m_dcache_paddr_ext_reset;
+        r_mmu_dext = m_dcache_paddr_ext_reset;
 
         // reset inst physical address extension
-        r_icache_paddr_ext = m_icache_paddr_ext_reset;
+        r_mmu_iext = m_icache_paddr_ext_reset;
 
         // reset dcache directory extension
@@ -1153,5 +1156,5 @@
             else if ((int) r_dcache_xtn_opcode.read() == (int) iss_t::XTN_INST_PADDR_EXT)
             {
-                r_icache_paddr_ext = r_dcache_save_wdata.read();
+                r_mmu_iext = r_dcache_save_wdata.read();
                 r_dcache_xtn_req   = false;
             }
@@ -1200,5 +1203,5 @@
             else if (vci_param::N > 32)
             {
-                paddr = paddr | ((paddr_t) r_icache_paddr_ext.read() << 32);
+                paddr = paddr | ((paddr_t) r_mmu_iext.read() << 32);
             }
 
@@ -2327,5 +2330,5 @@
                 // we take into account the paddr extension
                 if (vci_param::N > 32)
-                    paddr = paddr | ((paddr_t) (r_dcache_paddr_ext.read()) << 32);
+                    paddr = paddr | ((paddr_t) (r_mmu_dext.read()) << 32);
             }
         } // end physical address computation
@@ -2550,5 +2553,5 @@
 
                     case iss_t::XTN_DATA_PADDR_EXT:
-                        m_drsp.rdata = r_dcache_paddr_ext.read();
+                        m_drsp.rdata = r_mmu_dext.read();
                         m_drsp.valid = true;
                         m_drsp.error = false;
@@ -2556,5 +2559,5 @@
 
                     case iss_t::XTN_INST_PADDR_EXT:
-                        m_drsp.rdata = r_icache_paddr_ext.read();
+                        m_drsp.rdata = r_mmu_iext.read();
                         m_drsp.valid = true;
                         m_drsp.error = false;
@@ -2678,5 +2681,5 @@
 
                     case iss_t::XTN_DATA_PADDR_EXT:  // no cache or tlb access
-                        r_dcache_paddr_ext = m_dreq.wdata;
+                        r_mmu_dext = m_dreq.wdata;
                         m_drsp.valid       = true;
                         r_dcache_fsm       = DCACHE_IDLE;
@@ -3997,5 +4000,5 @@
             paddr = (paddr_t)r_dcache_save_wdata.read();
             if (vci_param::N > 32)
-                paddr = paddr | ((paddr_t)(r_dcache_paddr_ext.read()) << 32);
+                paddr = paddr | ((paddr_t)(r_mmu_dext.read()) << 32);
             hit = true;
         }