Index: /soft/giet_vm/giet_common/pmem.c
===================================================================
--- /soft/giet_vm/giet_common/pmem.c	(revision 751)
+++ /soft/giet_vm/giet_common/pmem.c	(revision 752)
@@ -15,5 +15,5 @@
 ///////////////////////////////////////////////////////////////////////////////////
 
-extern pmem_alloc_t boot_pmem_alloc[X_SIZE][Y_SIZE];
+extern pmem_alloc_t _boot_pmem_alloc[X_SIZE][Y_SIZE];
 
 ////////////////////////////////////////
@@ -33,5 +33,5 @@
     }
 
-    pmem_alloc_t* p       = &boot_pmem_alloc[x][y];
+    pmem_alloc_t* p       = &_boot_pmem_alloc[x][y];
 
     unsigned int  bppi_min = base >> 21;
Index: /soft/giet_vm/giet_common/vmem.c
===================================================================
--- /soft/giet_vm/giet_common/vmem.c	(revision 751)
+++ /soft/giet_vm/giet_common/vmem.c	(revision 752)
@@ -265,10 +265,10 @@
     }
 
-    // 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,6 +277,6 @@
     }
 
-    // invalidate PTD in PT1 
-    _physical_write( ptd_paddr , 0 );
+    // invalidate PTE1 in PT1 
+    _physical_write( pte1_paddr , 0 );
 
 }   // end _v2p_del_pte1()