Changeset 160 for soft/giet_vm/sys/common.h

Timestamp:

Jun 12, 2012, 4:21:27 PM (12 years ago)

Author:

karaoui

Message:

giet-vm new version

File:

• soft/giet_vm/sys/common.h (modified) (2 diffs)

soft/giet_vm/sys/common.h

@@ -24 +24 @@
 extern _ld_symbol_t seg_fb_base;
 extern _ld_symbol_t seg_ioc_base;
-extern _ld_symbol_t seg_boot_mapping_base;
+extern _ld_symbol_t seg_mapping_base;
 extern _ld_symbol_t seg_kernel_pt_base;
 
@@ -49 +49 @@
 mapping_vspace_t*   _get_vspace_base( mapping_header_t* header );
 mapping_vseg_t*     _get_vseg_base( mapping_header_t* header );
+mapping_vobj_t*     _get_vobj_base( mapping_header_t* header );
 mapping_task_t*     _get_task_base( mapping_header_t* header );