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

Timestamp:

Jun 29, 2014, 12:39:48 PM (10 years ago)

Author:

alain

Message:

Introducing a new attribute "local" in the mapping_vseg_t structure,
to support distributed page tables, kernel code and user code:
A "local" vseg is only mapped in the local page table
(The local page table is the page table stored in the same cluster
as the vseg itself).

File:

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

soft/giet_vm/giet_xml/mapping_info.h

@@ -210 +210 @@
     char            mapped;          // mapped if non zero
     char            ident;           // identity mapping if non zero
-    char            rsvd0;           // reserved 
-    char            rsvd1;           // reserved
+    char            local;           // only mapped in the local PTAB
+    char            reserved;        // reserved
 } mapping_vseg_t;