Changeset 627 for soft/giet_vm/giet_xml/xml_driver.c

Timestamp:

Jul 18, 2015, 2:48:16 PM (9 years ago)

Author:

alain

Message:

Add the "ltid" field in the mapping_task_t structure,
To support the giet_kill_application() and giet_exec_application() system calls.

File:

• soft/giet_vm/giet_xml/xml_driver.c (modified) (3 diffs)

soft/giet_vm/giet_xml/xml_driver.c

@@ -136 +136 @@
     mapping_vseg_t * vseg;
     mapping_task_t * task;
-    mapping_proc_t * proc;
     mapping_irq_t * irq;    
     mapping_periph_t * periph;
@@ -169 +168 @@
             MAPPING_VSPACE_SIZE * header->vspaces +
             MAPPING_VSEG_SIZE * header->vsegs);
-
-    // computes the base address for procs array 
-    proc = (mapping_proc_t *) ((char *) header +
-            MAPPING_HEADER_SIZE +
-            MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
-            MAPPING_PSEG_SIZE * header->psegs +
-            MAPPING_VSPACE_SIZE * header->vspaces +
-            MAPPING_VSEG_SIZE * header->vsegs +
-            MAPPING_TASK_SIZE * header->tasks);
 
     // computes the base address for irqs array 
@@ -261 +251 @@
             fprintf(fpout, " psegname=\"%s\"", pseg[periph[periph_id].psegid].name);
             fprintf(fpout, " channels=\"%d\"",  periph[periph_id].channels);
-            fprintf(fpout, " arg0=\"%d\" >\n",  periph[periph_id].arg0);
-            fprintf(fpout, " arg1=\"%d\" >\n",  periph[periph_id].arg1);
-            fprintf(fpout, " arg2=\"%d\" >\n",  periph[periph_id].arg2);
+            fprintf(fpout, " arg0=\"%d\"",  periph[periph_id].arg0);
+            fprintf(fpout, " arg1=\"%d\"",  periph[periph_id].arg1);
+            fprintf(fpout, " arg2=\"%d\"",  periph[periph_id].arg2);
             fprintf(fpout, " arg3=\"%d\" >\n",  periph[periph_id].arg3);
             if ( (periph[periph_id].type == PERIPH_TYPE_PIC) ||