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

Timestamp:

Feb 8, 2015, 12:55:35 PM (10 years ago)

Author:

alain

Message:

Introduce quad tree for distributed locks and barriers.

File:

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

soft/giet_vm/giet_common/vmem.c

@@ -11 +11 @@
 #include <giet_config.h>
 
-//////////////////////////////////////////////////
+/////////////////////////////////////////
 void _v2p_translate( page_table_t*  ptab,
                      unsigned int   vpn,
@@ -36 +36 @@
     if ( (pte1 & PTE_V) == 0 )
     {
-        _puts("\n[VMEM ERROR] _v2p_translate() : pte1 unmapped\n");
+        _printf("\n[VMEM ERROR] _v2p_translate() : pte1 unmapped\n"
+                "  vpn = %x / ptab = %x / pte1_vaddr = %x / pte1_value = %x\n",
+                vpn , (unsigned int)ptab, &(ptab->pt1[ix1]) , pte1 );
         _exit();
     }
@@ -50 +52 @@
     {
 
-        // get physical addresses of pte2 (two 32 bits words)
-        ptba       = (unsigned long long) (pte1 & 0x0FFFFFFF) << 12;
+        // get physical addresses of pte2
+        ptba       = ((unsigned long long)(pte1 & 0x0FFFFFFF)) << 12;
         pte2_paddr = ptba + 8*ix2;
+
+        // split physical address in two 32 bits words
         pte2_lsb   = (unsigned int) pte2_paddr;
         pte2_msb   = (unsigned int) (pte2_paddr >> 32);
@@ -87 +91 @@
         if ( (flags_value & PTE_V) == 0 )
         {
-            _puts("\n[VMEM ERROR] _v2p_translate() : pte2 unmapped\n");
+            _printf("\n[VMEM ERROR] _v2p_translate() : pte2 unmapped\n"
+                    "  vpn = %x / ptab = %x / pte1_value = %x\n"
+                    "  pte2_paddr = %l / ppn = %x / flags = %x\n",
+                    vpn , ptab , pte1 , pte2_paddr ,  ppn_value , flags_value );
             _exit();
         }