Changeset 232 for soft/giet_vm/sys/ctx_handler.h

Timestamp:

Mar 5, 2013, 4:00:09 PM (12 years ago)

Author:

meunier

Message:

Ajout du malloc dans le Giet.

File:

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

soft/giet_vm/sys/ctx_handler.h

@@ -5 +5 @@
 
 /////////////////////////////////////////////////////////////////////////////////
-//      Definition of the scheduler structure
+//    Definition of the scheduler structure
 /////////////////////////////////////////////////////////////////////////////////
 
-typedef struct static_scheduler_s
-{
-    unsigned int        context[15][64];                // at most 15 task contexts
-    unsigned int        tasks;                                  // actual number of tasks
-    unsigned int        current;                                // current task index
-    unsigned int        interrupt_vector[32];   // interrupt vector
+typedef struct static_scheduler_s {
+    unsigned int context[15][64];      // at most 15 task contexts
+    unsigned int tasks;                // actual number of tasks
+    unsigned int current;              // current task index
+    unsigned int interrupt_vector[32]; // interrupt vector
 } static_scheduler_t;
 
@@ -21 +20 @@
 /////////////////////////////////////////////////////////////////////////////////
 
-#define IDLE_TASK_INDEX         14
+#define IDLE_TASK_INDEX        14
 
 /////////////////////////////////////////////////////////////////////////////////
-//      Definition of the task context slots indexes
+//    Definition of the task context slots indexes
 /////////////////////////////////////////////////////////////////////////////////
 
-#define CTX_SP_ID               29
-#define CTX_RA_ID               31
+#define CTX_SP_ID        29
+#define CTX_RA_ID        31
 
-#define CTX_EPC_ID              32
-#define CTX_CR_ID               33
-#define CTX_SR_ID               34
-#define CTX_BVAR_ID             35
+#define CTX_EPC_ID       32
+#define CTX_CR_ID        33
+#define CTX_SR_ID        34
+#define CTX_BVAR_ID      35
 
-#define CTX_PTPR_ID             39
+#define CTX_PTPR_ID      39
 
-#define CTX_TTY_ID              40  // Integer : global TTY terminal index 
-#define CTX_DMA_ID          41  // Integer : global DMA channel index
-#define CTX_NIC_ID          42  // Integer : global NIC channel index
-#define CTX_TIMER_ID    43  // Integer : user level timer index / UNUSED
-#define CTX_PTAB_ID             44  // Pointer : page table virtual base adress
-#define CTX_LTID_ID             45  // Integer : local task index (in scheduler) / UNUSED
-#define CTX_VSID_ID             46  // Integer : vspace index
-#define CTX_RUN_ID              47  // Boolean : task runable
+#define CTX_TTY_ID       40  // Integer : global TTY terminal index 
+#define CTX_DMA_ID       41  // Integer : global DMA channel index
+#define CTX_NIC_ID       42  // Integer : global NIC channel index
+#define CTX_TIMER_ID     43  // Integer : user level timer index / UNUSED
+#define CTX_PTAB_ID      44  // Pointer : page table virtual base adress
+#define CTX_LTID_ID      45  // Integer : local task index (in scheduler) / UNUSED
+#define CTX_VSID_ID      46  // Integer : vspace index
+#define CTX_RUN_ID       47  // Boolean : task runable
+#define CTX_GTID_ID      48  // Integer : Global task id
 
 //////////////////////////////////////////////////////////////////////////////////
-//      Prototype of the context switch function
+//     Prototype of the context switch function
 //////////////////////////////////////////////////////////////////////////////////