Changeset 645 for soft/giet_vm/giet_xml/mapping_info.h

Timestamp:

Jul 22, 2015, 1:03:20 PM (9 years ago)

Author:

alain

Message:

Introduce the "active" field in vspace.

File:

• soft/giet_vm/giet_xml/mapping_info.h (modified) (1 diff)

soft/giet_vm/giet_xml/mapping_info.h

@@ -186 +186 @@
     unsigned int    vseg_offset;     // global index of first vseg in vspace 
     unsigned int    task_offset;     // global index of first task in vspace
+    unsigned int    active;          // always active if non zero
 } mapping_vspace_t;