Index: /soft/giet_vm/giet_common/vmem.c
===================================================================
--- /soft/giet_vm/giet_common/vmem.c	(revision 757)
+++ /soft/giet_vm/giet_common/vmem.c	(revision 758)
@@ -191,4 +191,10 @@
     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,4 +220,9 @@
         _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,4 +239,11 @@
         // 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,4 +256,11 @@
     _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]