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

Timestamp:

Jul 16, 2012, 10:26:27 AM (12 years ago)

Author:

alain

Message:

Fix several bugs to use the vci_block_device with MMU activated

File:

• soft/giet_vm/sys/ctx_handler.h (modified) (1 diff)

soft/giet_vm/sys/ctx_handler.h

@@ -15 +15 @@
 } static_scheduler_t;
 
+/////////////////////////////////////////////////////////////////////////////////
+//      Definition of the task context slots indexes
+/////////////////////////////////////////////////////////////////////////////////
+
+#define CTX_SR_ID               0
+#define CTX_SP_ID               29
+#define CTX_RA_ID               31
+
+#define CTX_EPC_ID              32
+#define CTX_CR_ID               33
+#define CTX_PTPR_ID             35
+#define CTX_MODE_ID             36
+
+#define CTX_TTY_ID              40
+#define CTX_FBDMA_ID    41
+#define CTX_PTAB_ID             42
+#define CTX_TASK_ID             43
+
+
 //////////////////////////////////////////////////////////////////////////////////
 //      Prototype of the context switch function