Changeset 160 for soft/giet_vm/sys/ctx_handler.c

Timestamp:

Jun 12, 2012, 4:21:27 PM (12 years ago)

Author:

karaoui

Message:

giet-vm new version

File:

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

soft/giet_vm/sys/ctx_handler.c

@@ -31 +31 @@
 
 #include <giet_config.h>
-#include <ctx_handler.h>
-#include <sys_handler.h>
 #include <drivers.h>
 #include <common.h>
+#include <ctx_handler.h>
+#include <mapping_info.h>
+#include <sys_handler.h>
 
 extern void _task_switch(unsigned int *, unsigned int *);
@@ -71 +72 @@
     // return if only one task  */
     if ( tasks <= 1) return;
-
+ 
     // compute the task context base address for the current task
     curr_task_id = _scheduler[proc_id].current;
     curr_context = &(_scheduler[proc_id].context[curr_task_id][0]);
-
+    
     // select the next task using a round-robin scheduling policy
     next_task_id = (curr_task_id + 1) % tasks;