Changeset 324 for soft/giet_vm/giet_common/utils.c

Timestamp:

Jun 10, 2014, 2:20:55 PM (10 years ago)

Author:

alain

Message:

heu...

File:

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

soft/giet_vm/giet_common/utils.c

@@ -12 +12 @@
 
 #include <giet_config.h>
+#include <hard_config.h>
 #include <mapping_info.h>
 #include <utils.h>
@@ -890 +891 @@
 
 ///////////////////////////////////////////////////////////////////////////////////
-// This function returns the information associated to a heap (size and vaddr)
+// This function returns the information associated to a heap : size and vaddr.
 // It uses the global task index (CTX_GTID_ID, unique for each giet task) and the
 // vspace index (CTX_VSID_ID) defined in the task context. 
@@ -897 +898 @@
                          unsigned int* size ) 
 {
-    mapping_header_t * header  = (mapping_header_t *) (&seg_boot_mapping_base);
+    mapping_header_t * header  = (mapping_header_t *)SEG_BOOT_MAPPING_BASE;
     mapping_task_t * tasks     = _get_task_base(header);
     mapping_vobj_t * vobjs     = _get_vobj_base(header);
-    mapping_vspace_t * vspaces = _get_vspace_base(header);
 
     unsigned int taskid        = _get_context_slot(CTX_GTID_ID);
-    unsigned int vspaceid      = _get_context_slot(CTX_VSID_ID);
-
-    int heap_local_vobjid      = tasks[taskid].heap_vobjid;
-    if (heap_local_vobjid != -1) 
-    {
-        unsigned int vobjheapid = heap_local_vobjid + vspaces[vspaceid].vobj_offset;
-        *vaddr                  = vobjs[vobjheapid].vaddr;
-        *size                   = vobjs[vobjheapid].length;
-        return 0;
+
+    int vobj_id = tasks[taskid].heap_vobj_id;
+    if (vobj_id != -1) 
+    {
+        *vaddr                  = vobjs[vobj_id].vaddr;
+        *size                   = vobjs[vobj_id].length;
     }
     else 
@@ -917 +914 @@
         *vaddr = 0;
         *size = 0;
-        return 0;
-    }
+    }
+    return 0;
 }