Changeset 752 for soft/giet_vm/giet_common/vmem.c

Timestamp:

Jan 2, 2016, 5:52:10 PM (9 years ago)

Author:

alain

Message:

Cosmetic.

File:

• soft/giet_vm/giet_common/vmem.c (modified) (2 diffs)

soft/giet_vm/giet_common/vmem.c

@@ -265 +265 @@
     }
 
-    // get ptd in PT1
-    paddr_t ptd_paddr = pt2_pbase + 4 * ix1;
-    unsigned int ptd = _physical_read( ptd_paddr );
-
-    // check ptd valid
-    if ((ptd & PTE_V) == 0)    
+    // get pte1 in PT1
+    paddr_t pte1_paddr = pt1_pbase + 4 * ix1;
+    unsigned int pte1 = _physical_read( pte1_paddr );
+
+    // check pte1 valid
+    if ((pte1 & PTE_V) == 0)    
     {
         _printf("\n[GIET ERROR] in _v2p_del_pte1() : vpn %x not mapped in PT1"
@@ -277 +277 @@
     }
 
-    // invalidate PTD in PT1 
-    _physical_write( ptd_paddr , 0 );
+    // invalidate PTE1 in PT1 
+    _physical_write( pte1_paddr , 0 );
 
 }   // end _v2p_del_pte1()