Changeset 538 for soft

Timestamp:

Mar 27, 2015, 5:28:15 PM (10 years ago)

Author:

alain

Message:

Fix a bug in XCU arguments checking.

File:

• soft/giet_vm/giet_boot/boot.c (modified) (2 diffs)

soft/giet_vm/giet_boot/boot.c

@@ -1098 +1098 @@
             if ( xcu->arg0 < xcu->irqs )
             {
-                _printf("\n[BOOT ERROR] Not enough HWI inputs for XCU[%d,%d]\n",
-                         x, y );
+                _printf("\n[BOOT ERROR] Not enough HWI inputs for XCU[%d,%d]"
+                        " : nb_hwi = %d / nb_irqs = %d\n",
+                         x , y , xcu->arg0 , xcu->irqs );
                 _exit();
             }
@@ -1117 +1118 @@
             }
             // check nb_irq_out
-            if ( xcu->arg3 < (nprocs * header->irq_per_proc) )
+            if ( xcu->channels < (nprocs * header->irq_per_proc) )
             {
                 _printf("\n[BOOT ERROR] Not enough outputs for XCU[%d,%d]\n",