Changeset 330 for soft/giet_vm/giet_kernel

Timestamp:

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

Author:

alain

Message:

Cosmetic.

Location:

soft/giet_vm/giet_kernel

Files:

• ctx_handler.c (modified) (1 diff)
• kernel_init.c (modified) (2 diffs)

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

soft/giet_vm/giet_kernel/kernel_init.c

@@ -151 +151 @@
     unsigned int lpid       = global_pid % NB_PROCS_MAX;
     unsigned int pid        = ((( x * Y_SIZE) + y) * NB_PROCS_MAX) + lpid;
-//  unsigned int pid        = _get_id(i n_procs );
 
     // This last initialisation phase is done sequencially:
@@ -332 +331 @@
     unsigned int epc_value  = _get_task_slot(global_pid, ltid, CTX_EPC_ID);
 
-    _printf("\n[GIET DEBUG INIT] Processor[%d,%d,%d] reach barrier at cycle %d\n",
-            x, y, lpid, _get_proctime() );
+#if GIET_DEBUG_INIT
+_printf("\n[GIET DEBUG INIT] Processor[%d,%d,%d] reach barrier at cycle %d\n",
+        x, y, lpid, _get_proctime() );
+#endif
 
     // increment barrier counter