Changeset 232 for soft/giet_vm/sys/ctx_handler.c
- Timestamp:
- Mar 5, 2013, 4:00:09 PM (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/sys/ctx_handler.c
r231 r232 76 76 77 77 // get current task index 78 unsigned int curr_task_id = _get_ current_task_id();78 unsigned int curr_task_id = _get_proc_task_id(); 79 79 80 80 // select the next task using a round-robin policy … … 103 103 unsigned int * next_ctx_paddr = &(psched->context[next_task_id][0]); 104 104 105 _set_ current_task_id(next_task_id);105 _set_proc_task_id(next_task_id); 106 106 //_timer_reset_irq_cpt(cluster_id, local_id); // commented until not properly supported in soclib 107 107 // (the function is not yet present in drivers.c)
Note: See TracChangeset
for help on using the changeset viewer.