Changeset 216 for soft/giet_vm/sys/kernel_init.c

Timestamp:

Sep 18, 2012, 6:38:49 PM (12 years ago)

Author:

karaoui

Message:

• updating irq_handler.c/drivers.c to support the nex affectations of timers
• When using an xicu the number of timer is set to 32

File:

• soft/giet_vm/sys/kernel_init.c (modified) (3 diffs)

soft/giet_vm/sys/kernel_init.c

@@ -124 +124 @@
     }
  
+    unsigned int isr_switch_channel = 0xFFFFFFFF;
+
     // step 3 : compute and set ICU masks
     //          there is at most 32 interrupts per processor
@@ -131 +133 @@
     unsigned int hwi_mask = 0;
     unsigned int pti_mask = 0;
-
-    unsigned int isr_switch_channel = 0xFFFFFFFF;
 
     for ( irq_id = 0 ; irq_id < 32 ; irq_id++ )
@@ -173 +173 @@
         if(isr_switch_channel == 0xFFFFFFFF)
         {
+            _get_lock(&_tty_put_lock);
             _puts("\n[GIET ERROR] ISR_SWITCH not found on proc ");
             _putd( proc_id);
             _puts("\n");
+            _release_lock(&_tty_put_lock);
             _sys_exit();
         }
-        _timer_start( cluster_id, 
-                      isr_switch_channel, 
-                      GIET_TICK_VALUE );
+
+        if(_timer_start( cluster_id, isr_switch_channel, GIET_TICK_VALUE ))
+        {
+            _get_lock(&_tty_put_lock);
+            _puts("\n[GIET ERROR] ISR_SWITCH init error for proc ");
+            _putd( proc_id);
+            _puts("\n");
+            _release_lock(&_tty_put_lock);
+            _sys_exit();
+        }
         
 #if GIET_DEBUG_INIT