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 236)
+++ trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp	(revision 237)
@@ -2974,4 +2974,5 @@
                 r_dcache_vci_sc_new = pte | PTE_L_MASK;
                 pte                 = pte | PTE_L_MASK;
+		r_dcache_tlb_pte_flags = pte;
             }
         }
@@ -2984,4 +2985,5 @@
                 r_dcache_vci_sc_new = pte | PTE_R_MASK;
                 pte                 = pte | PTE_R_MASK;
+		r_dcache_tlb_pte_flags = pte;
             }
         }
@@ -3194,4 +3196,5 @@
                 r_dcache_vci_sc_new = pte_flags | PTE_L_MASK;
                 pte_flags           = pte_flags | PTE_L_MASK;
+		r_dcache_tlb_pte_flags = pte_flags;
             }
         }
@@ -3204,4 +3207,5 @@
                 r_dcache_vci_sc_new = pte_flags | PTE_R_MASK;
                 pte_flags           = pte_flags | PTE_R_MASK;
+		r_dcache_tlb_pte_flags = pte_flags;
             }
         }