Changeset 237 for trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp

Timestamp:

Jul 13, 2012, 11:51:35 AM (12 years ago)

Author:

haoliu

Message:

fix bug in state DCACHE_TLB_GET_PTE1_UPDT and DCACHE_TLB_GET_PTE2_UPDT

File:

• trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp (modified) (4 diffs)

trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp

@@ -2974 +2974 @@
                 r_dcache_vci_sc_new = pte | PTE_L_MASK;
                 pte                 = pte | PTE_L_MASK;
+                r_dcache_tlb_pte_flags = pte;
             }
         }
@@ -2984 +2985 @@
                 r_dcache_vci_sc_new = pte | PTE_R_MASK;
                 pte                 = pte | PTE_R_MASK;
+                r_dcache_tlb_pte_flags = pte;
             }
         }
@@ -3194 +3196 @@
                 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 +3207 @@
                 r_dcache_vci_sc_new = pte_flags | PTE_R_MASK;
                 pte_flags           = pte_flags | PTE_R_MASK;
+                r_dcache_tlb_pte_flags = pte_flags;
             }
         }