Changeset 167 for soft/giet_vm/sys/mips32_registers.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/mips32_registers.h (modified) (1 diff)

soft/giet_vm/sys/mips32_registers.h

@@ -78 +78 @@
 #define CP2_DCACHE_INVAL_PA     $20 
 
-/* Context index */
-
-#define CTX_SR_ID               0
-#define CTX_SP_ID               29
-#define CTX_RA_ID               31
-#define CTX_EPC_ID              32
-#define CTX_TTY_ID              34
-#define CTX_PTPR_ID             35
-#define CTX_MODE_ID             36
-#define CTX_FBDMA_ID    37
-#define CTX_TASK_ID             63
-
-
 #endif