Changeset 322 for soft/giet_vm/giet_kernel/sys_handler.c

Timestamp:

Jun 10, 2014, 1:28:14 PM (10 years ago)

Author:

alain

Message:

Various small modifs to comply with the genmap tool.

File:

• soft/giet_vm/giet_kernel/sys_handler.c (modified) (4 diffs)

soft/giet_vm/giet_kernel/sys_handler.c

@@ -20 +20 @@
 #include <fat32.h>
 #include <utils.h>
+#include <hard_config.h>
 #include <giet_config.h>
 #include <mapping_info.h>
+
+#if !defined(SEG_BOOT_MAPPING_BASE) 
+# error: You must define SEG_BOOT_MAPPING_BASE in the hard_config.h file
+#endif
 
 ////////////////////////////////////////////////////////////////////////////
@@ -139 +144 @@
                            unsigned int* buffer) 
 {
-    mapping_header_t * header  = (mapping_header_t *) &seg_boot_mapping_base;
+    mapping_header_t * header  = (mapping_header_t *)SEG_BOOT_MAPPING_BASE;
     mapping_cluster_t * cluster = _get_cluster_base(header);
 
@@ -186 +191 @@
                mapping_vobj_t**  res_vobj ) 
 {
-    mapping_header_t * header = (mapping_header_t *) &seg_boot_mapping_base;
+    mapping_header_t * header = (mapping_header_t *)SEG_BOOT_MAPPING_BASE;
     mapping_vspace_t * vspace = _get_vspace_base(header);
     mapping_vobj_t * vobj     = _get_vobj_base(header);
@@ -215 +220 @@
 
 /////////////////////////////////////////////////////////////////////////////
-// This function writes in vobj_vaddr the virtual base address of a vobj 
+// This function writes in vobj_vbase the virtual base address of a vobj 
 // identified by the (vspace_name / vobj_name ) couple.
 // returns 0 if success, >0 if not found