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

Timestamp:

Aug 12, 2015, 4:10:58 PM (9 years ago)

Author:

alain

Message:

Introduce the _load_writable_segments() function (used by the _ctx_exec_task() function).

File:

• soft/giet_vm/giet_kernel/irq_handler.c (modified) (1 diff)

soft/giet_vm/giet_kernel/irq_handler.c

@@ -415 +415 @@
     _xcu_timer_reset_irq( cluster_xy, irq_id );
 
-#if GIET_DEBUG_SWITCH
+#if (GIET_DEBUG_SWITCH & 0x1)
 unsigned int ltid  = _get_current_task_id();
+if ( _get_proctime() > GIET_DEBUG_SWITCH )
 _printf("\n[DEBUG SWITCH] P[%d,%d,%d] enters _isr_tick() at cycle %d\n"
         "  WTI index = %d / current ltid = %d\n",