Changeset 310 for soft/giet_vm/giet_kernel/irq_handler.c

Timestamp:

Apr 21, 2014, 5:29:40 AM (10 years ago)

Author:

alain

Message:

Reducing the number of log messages.

File:

• soft/giet_vm/giet_kernel/irq_handler.c (modified) (3 diffs)

soft/giet_vm/giet_kernel/irq_handler.c

@@ -56 +56 @@
     unsigned int irq_id;
     unsigned int irq_type;
-    char*        irq_type_str[] = { "HWI", "WTI", "PTI" }; 
 
     // get the highest priority active IRQ index 
@@ -88 +87 @@
 
 #if GIET_DEBUG_IRQS // we don't take the TTY lock to avoid deadlocks
+char* irq_type_str[] = { "HWI", "WTI", "PTI" }; 
 _puts("\n[IRQS DEBUG] Processor[");
 _putd(x);
@@ -120 +120 @@
         else
         {
-            // we don't take the TTY lock to avoid deadlock
-            _puts("\n[GIET ERROR] in _irq_demux() illegal ISR type on processor[");
-            _putd(x);
-            _puts(",");
-            _putd(y);
-            _puts(",");
-            _putd(lpid);
-            _puts("] at cycle ");
-            _putd(_get_proctime() );
-            _puts("\n  ");
-            _puts(irq_type_str[irq_type] );
-            _puts(" : irq_id = ");
-            _putd(irq_id);
-            _puts(" / isr_type = ");
-            _putd(isr_type);
-            _puts(" / channel = ");
-            _putd(channel);
-            _puts("\n");
-            _exit();
+            _printf("\n[GIET ERROR] in _irq_demux() :"
+                    " illegal ISR type on processor[%d,%d,%d] at cycle %d\n"
+                    " - irq_type = %d\n"
+                    " - irq_id   = %d\n"
+                    " - isr_type = %x\n",
+                    x, y, lpid, _get_proctime(), irq_type, irq_id, isr_type );
         }
     }