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

Timestamp:

Jan 18, 2016, 4:43:12 PM (9 years ago)

Author:

alain

Message:

We introduce the _v2p_add_pte1(), _v2p_add_pte2(),
_v2p_del_pte1(), _v2p_del_pte2() functions in the vmem.c file,
in order to support the mmap() and munmap() functions.

File:

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

soft/giet_vm/giet_common/vmem.c

@@ -191 +191 @@
     ix2 = vpn & 0x1FF;          //  9 bits for ix2
 
+#if GIET_DEBUG_VMEM
+if ( _get_proctime() > GIET_DEBUG_VMEM )
+_printf("\n@@@ _v2p_add_pte2() : enters for vpn = %x / ppn = %x / PTAB[%d,%d,%d]\n",
+        vpn , ppn , vspace_id , x , y );
+#endif
+
     // get page table physical base address 
     paddr_t      pt1_pbase = _ptabs_paddr[vspace_id][x][y];
@@ -214 +220 @@
         _ptabs_next_pt2[vspace_id][x][y] = pt2_id + 1;
 
+#if GIET_DEBUG_VMEM
+if ( _get_proctime() > GIET_DEBUG_VMEM )
+_printf("\n@@@ _v2p_add_pte2() new pt2_id = %d\n", pt2_id );
+#endif
+        
         // check overflow
         if (pt2_id == _ptabs_max_pt2) 
@@ -228 +239 @@
         // set PTD into PT1
         _physical_write( pt1_pbase + 4*ix1, ptd);
+
+#if GIET_DEBUG_VMEM
+if ( _get_proctime() > GIET_DEBUG_VMEM )
+_printf("\n@@@ _v2p_add_pte2() : &ptd = %l / ptd = %x\n", pt1_pbase + 4*ix1, ptd );
+#endif
+
+
     }
     else                       // valid PTD: compute PT2 base address
@@ -238 +256 @@
     _physical_write(pte2_paddr     , (PTE_V | flags) );
     _physical_write(pte2_paddr + 4 , ppn );
+
+#if GIET_DEBUG_VMEM
+if ( _get_proctime() > GIET_DEBUG_VMEM )
+_printf("\n@@@ _v2p_add_pte2() : pt1_pbase = %l / pt2_pbase = %l" 
+        " / &pte2 = %l / ppn = %x / flags = %x\n",
+        pt1_pbase , pt2_pbase , pte2_paddr , ppn , PTE_V | flags );
+#endif
 
     // release lock protecting PTAB[vspace_id][x][y]