Changeset 349 for soft/giet_vm/giet_xml/xml_parser.c

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/xml_parser.c (modified) (1 diff)

soft/giet_vm/giet_xml/xml_parser.c

@@ -960 +960 @@
     }
 
+    ////////// get local attribute (optional : 0 if missing)
+    value = getIntValue(reader, "local", &ok);
+    if (ok) 
+    {
+#if XML_PARSER_DEBUG
+printf("      local       = %d\n", value);
+#endif
+        vseg[vseg_index]->local = value;
+    }  
+    else 
+    {
+        vseg[vseg_index]->local = 0;
+    }
+
     /////////// get vbase attribute
     value = getIntValue(reader, "vbase", &ok);