Changeset 752 for soft

Timestamp:

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

Author:

alain

Message:

Cosmetic.

Location:

soft/giet_vm/giet_common

Files:

• pmem.c (modified) (2 diffs)
• vmem.c (modified) (2 diffs)

soft/giet_vm/giet_common/pmem.c

@@ -15 +15 @@
 ///////////////////////////////////////////////////////////////////////////////////
 
-extern pmem_alloc_t boot_pmem_alloc[X_SIZE][Y_SIZE];
+extern pmem_alloc_t _boot_pmem_alloc[X_SIZE][Y_SIZE];
 
 ////////////////////////////////////////
@@ -33 +33 @@
     }
 
-    pmem_alloc_t* p       = &boot_pmem_alloc[x][y];
+    pmem_alloc_t* p       = &_boot_pmem_alloc[x][y];
 
     unsigned int  bppi_min = base >> 21;

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()