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

Timestamp:

Jul 9, 2013, 3:54:53 PM (11 years ago)

Author:

meunier

Message:

Cosmétique + gestion du reset de l'irq du timer ou de l'xicu lors d'un task_switch

File:

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

soft/giet_vm/sys/kernel_init.c

@@ -63 +63 @@
 
 
+
 //////////////////////////////////////////////////////////////////////////////////
 // This function is the entry point for the last step of the boot sequence.
@@ -101 +102 @@
     for (ltid = 0; ltid < tasks; ltid++) 
     {
-        unsigned int vsid  = _get_task_slot(ltid , CTX_VSID_ID); 
-        unsigned int ptab  = _get_task_slot(ltid , CTX_PTAB_ID); 
-        unsigned int ptpr  = _get_task_slot(ltid , CTX_PTPR_ID); 
+        unsigned int vsid = _get_task_slot(ltid , CTX_VSID_ID); 
+        unsigned int ptab = _get_task_slot(ltid , CTX_PTAB_ID); 
+        unsigned int ptpr = _get_task_slot(ltid , CTX_PTPR_ID); 
 
         _ptabs[vsid] = ptab;