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

Timestamp:

Feb 3, 2014, 4:34:44 PM (10 years ago)

Author:

cfuguet

Message:

Modification on giet_xml parser and driver:

• Introducing a new field on the mapping_info header which is used to store the number of IRQ per processor. This number must be declared on the header of all XML description files (irq_per_proc).

• The number of channels of the ICU/XICU must be equal to the number of processors per cluster multiplied by the number of IRQ per processor (this is verified by the xml_parser).

File:

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

soft/giet_vm/giet_xml/xml_driver.c

@@ -45 +45 @@
         "HARD",
         "SOFT",
+        "TIME",
     };
 
@@ -229 +230 @@
     fprintf(fpout, "<?xml version = \"1.0\"?>\n\n");
 
-    fprintf(fpout, "<mapping_info signature = \"0x%x\" \n", header->signature);
-    fprintf(fpout, "              name      = \"%s\"   \n", header->name);
-    fprintf(fpout, "              x_size    = \"%d\"   \n", header->x_size);
-    fprintf(fpout, "              y_size    = \"%d\"   \n", header->y_size);
-    fprintf(fpout, "              x_width   = \"%d\"   \n", header->x_width);
-    fprintf(fpout, "              y_width   = \"%d\"   \n", header->y_width);
-    fprintf(fpout, "              vspaces   = \"%d\"   \n", header->vspaces);
-    fprintf(fpout, "              increment = \"%d\" >\n\n", header->vspaces);
+    fprintf(fpout, "<mapping_info signature    = \"0x%x\" \n" , header->signature);
+    fprintf(fpout, "              name         = \"%s\"   \n" , header->name);
+    fprintf(fpout, "              x_size       = \"%d\"   \n" , header->x_size);
+    fprintf(fpout, "              y_size       = \"%d\"   \n" , header->y_size);
+    fprintf(fpout, "              x_width      = \"%d\"   \n" , header->x_width);
+    fprintf(fpout, "              y_width      = \"%d\"   \n" , header->y_width);
+    fprintf(fpout, "              vspaces      = \"%d\"   \n" , header->vspaces);
+    fprintf(fpout, "              increment    = \"%d\"   \n" , header->vspaces);
+    fprintf(fpout, "              irq_per_proc = \"%d\" >\n\n", header->irq_per_proc);
 
     ///////////////////// clusters ///////////////////////////////////////////////