Index: soft/giet_vm/giet_xml/mapping_info.h
===================================================================
--- soft/giet_vm/giet_xml/mapping_info.h	(revision 408)
+++ soft/giet_vm/giet_xml/mapping_info.h	(revision 409)
@@ -148,13 +148,13 @@
     unsigned int globals;            // total number of global vsegs
     unsigned int vspaces;            // total number of virtual spaces
-    unsigned int psegs;              // total number of physical segments (for all clusters)
-    unsigned int vsegs;              // total number of virtual segments (for all vspaces)
-    unsigned int vobjs;              // total number of virtual objects (for all vspaces)
-    unsigned int tasks;              // total number of tasks (for all vspaces)
-    unsigned int procs;              // total number of procs (for all clusters)
-    unsigned int irqs;               // total number of irqs (for all processors)
-    unsigned int coprocs;            // total number of coprocs (for all clusters)
-    unsigned int cp_ports;           // total number of cp_ports (for all coprocs)
-    unsigned int periphs;            // total number of peripherals (for all clusters)
+    unsigned int psegs;              // total number of physical segments (all clusters)
+    unsigned int vsegs;              // total number of virtual segments (all vspaces)
+    unsigned int vobjs;              // total number of virtual objects (all vspaces)
+    unsigned int tasks;              // total number of tasks (all vspaces)
+    unsigned int procs;              // total number of procs (all clusters)
+    unsigned int irqs;               // total number of irqs (all clusters)
+    unsigned int coprocs;            // total number of coprocs (all clusters)
+    unsigned int cp_ports;           // total number of cp_ports (all coprocs)
+    unsigned int periphs;            // total number of peripherals (all clusters)
 
     char name[32];                   // mapping name
@@ -211,5 +211,5 @@
     char            ident;           // identity mapping if non zero
     char            local;           // only mapped in the local PTAB
-    char            reserved;        // reserved
+    char            big;             // to be mapped in a big physical page
 } mapping_vseg_t;
 
@@ -253,6 +253,5 @@
     unsigned int    length;          // size (bytes)
     unsigned int    align;           // required alignement (logarithm of 2)
-    unsigned int    vaddr;           // virtual base addresse of the vobj
-    paddr_t         paddr;           // physical base addresse of the vobj
+    unsigned int    vbase;           // virtual base addresse of the vobj
     unsigned int    init;            // init value (used by barrier or mwmr channel)
 } mapping_vobj_t;