Index: trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/include/vci_cc_vcache_wrapper_v4.h
===================================================================
--- trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/include/vci_cc_vcache_wrapper_v4.h	(revision 201)
+++ trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/include/vci_cc_vcache_wrapper_v4.h	(revision 202)
@@ -264,4 +264,6 @@
     const paddr_t 						m_dcache_yzmask;
     const size_t  						m_dcache_words;
+
+    const size_t                        m_proc_id;
 
     const uint32_t						m_max_frozen_cycles;
Index: trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp
===================================================================
--- trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp	(revision 201)
+++ trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp	(revision 202)
@@ -383,6 +383,6 @@
       r_icache("icache", icache_ways, icache_sets, icache_words),
       r_dcache("dcache", dcache_ways, dcache_sets, dcache_words),
-      r_itlb(itlb_ways,itlb_sets,vci_param::N),
-      r_dtlb(dtlb_ways,dtlb_sets,vci_param::N)
+      r_itlb("itlb", proc_id, itlb_ways,itlb_sets,vci_param::N),
+      r_dtlb("dtlb", proc_id, dtlb_ways,dtlb_sets,vci_param::N)
 {
     assert( ((icache_words*vci_param::B) < (1<<vci_param::K)) and
@@ -3003,5 +3003,7 @@
         if ( r_dcache_tlb_ins.read() )  
         {
-            r_itlb.write( pte,
+            r_itlb.write( true,		// 2M page
+                          pte,
+                          0,		// argument unused for a PTE1
                           r_dcache_tlb_vaddr.read(),    
                           r_dcache_tlb_way.read(), 
@@ -3014,5 +3016,7 @@
         else
         {
-            r_dtlb.write( pte,
+            r_dtlb.write( true,		// 2M page
+                          pte,
+                          0,		// argument unused for a PTE1
                           r_dcache_tlb_vaddr.read(),    
                           r_dcache_tlb_way.read(), 
@@ -3206,5 +3210,6 @@
         if ( r_dcache_tlb_ins.read() )  
         {
-            r_itlb.write( pte_flags,
+            r_itlb.write( false,	// 2K page
+                          pte_flags,
                           pte_ppn,
                           r_dcache_tlb_vaddr.read(),    
@@ -3218,5 +3223,6 @@
         else
         {
-            r_dtlb.write( pte_flags,
+            r_dtlb.write( false,	// 2K page
+                          pte_flags,
                           pte_ppn,
                           r_dcache_tlb_vaddr.read(),