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

Timestamp:

May 29, 2013, 1:24:09 AM (11 years ago)

Author:

alain

Message:

Major evolution to support physical addresses larger than 32 bits.
The map.xml format has been modified: the vsegs associated to schedulers
are now explicitely defined and mapped in the page tables.

File:

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

soft/giet_vm/sys/ctx_handler.h

@@ -8 +8 @@
 /////////////////////////////////////////////////////////////////////////////////
 
-typedef struct static_scheduler_s {
+typedef struct static_scheduler_s 
+{
     unsigned int context[15][64];      // at most 15 task contexts
     unsigned int tasks;                // actual number of tasks
@@ -29 +30 @@
 #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  // Exception Program Counter (CP0)
+#define CTX_CR_ID        33  // Cause Register (CP0)
+#define CTX_SR_ID        34  // Status Register (CP0)
+#define CTX_BVAR_ID      35      // Bad Virtual Address Register (CP0)
 
-#define CTX_PTPR_ID      39
+#define CTX_PTAB_ID      36  // Page Table Virtual address
+#define CTX_LTID_ID      37  // Local  Task Index (in scheduler)
+#define CTX_VSID_ID      38  // Vspace Index     
+#define CTX_PTPR_ID      39  // Page Table Pointer Register (PADDR>>13)
 
-#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
+#define CTX_TTY_ID       40  // global TTY terminal  
+#define CTX_DMA_ID       41  // local DMA channel 
+#define CTX_NIC_ID       42  // global NIC channel 
+#define CTX_TIM_ID       43  // local TIMER channel
+#define CTX_IOC_ID       44  // global IOC channel
+#define CTX_CMA_ID       45  // global CMA channel index (in scheduler) / UNUSED
+#define CTX_GTID_ID      46  // Global Task Index
+#define CTX_RUN_ID       47  // Boolean: task runable
 
 //////////////////////////////////////////////////////////////////////////////////