Changeset 330 for soft/giet_vm/giet_kernel/ctx_handler.c

Timestamp:

Jun 19, 2014, 1:26:46 PM (10 years ago)

Author:

alain

Message:

Cosmetic.

File:

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

soft/giet_vm/giet_kernel/ctx_handler.c

@@ -80 +80 @@
         unsigned int* next_ctx_vaddr = &(psched->context[next_task_id][0]);
 
-        // reset timer counter. In each cluster,
-        // the NB_PROCS_MAX timers are system timers (TICK)
+        // reset timer counter. 
+        // In all clusters, the first NB_PROCS_MAX
+        // timers are system timers (TICK)
 
 #if USE_XCU