Changeset 246 for soft/giet_vm/sys/ctx_handler.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/ctx_handler.c (modified) (1 diff)

soft/giet_vm/sys/ctx_handler.c

@@ -105 +105 @@
         unsigned int* curr_ctx_vaddr = &(psched->context[curr_task_id][0]);
         unsigned int* next_ctx_vaddr = &(psched->context[next_task_id][0]);
+        unsigned int procid = _procid();
+        unsigned int local_id = procid % NB_PROCS_MAX;
+        unsigned int cluster_id = procid / NB_PROCS_MAX;
 
         // set current task index 
         psched->current = next_task_id;
 
-        //_timer_reset_irq_cpt(cluster_id, local_id); 
-        // commented until not properly supported in soclib
-        // (the function is not yet present in drivers.c)
+        _timer_reset_irq_cpt(cluster_id, local_id); 
 
         _task_switch(curr_ctx_vaddr, next_ctx_vaddr);