diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-04-03 22:15:10 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-04-03 22:15:10 -0700 |
| commit | 57b1adbf48ad588366c8f88d91e4c165feb3dae1 (patch) | |
| tree | b446f8253a22dd05ca99c7ab89f01e7125ba36dd /encoding.h | |
| parent | 5387d5a194d8e0afb9b62dca7b2e6cc6dec9fb1c (diff) | |
| download | env-57b1adbf48ad588366c8f88d91e4c165feb3dae1.zip env-57b1adbf48ad588366c8f88d91e4c165feb3dae1.tar.gz env-57b1adbf48ad588366c8f88d91e4c165feb3dae1.tar.bz2 | |
Rename VM_SV43 to VM_SV39
Diffstat (limited to 'encoding.h')
| -rw-r--r-- | encoding.h | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -48,7 +48,8 @@ #define VM_MBB 1 #define VM_MBBID 2 #define VM_SV32 4 -#define VM_SV43 5 +#define VM_SV39 5 +#define VM_SV48 6 #define UA_RV32 0 #define UA_RV64 4 @@ -69,7 +70,8 @@ #define PTE_R 0x040 // Referenced #define PTE_D 0x080 // Dirty #define PTE_SOFT 0x300 // Reserved for Software -#define PTE_PPN_SHIFT 10 +#define RV64_PTE_PPN_SHIFT 26 +#define RV32_PTE_PPN_SHIFT 10 #define PTE_TYPE_INVALID 0 #define PTE_TYPE_TABLE 1 #define PTE_TYPE_U 2 @@ -105,13 +107,13 @@ # define MSTATUS_HA MSTATUS64_HA # define MSTATUS_SD MSTATUS64_SD # define SSTATUS_SD SSTATUS64_SD -# define RISCV_PGLEVELS 3 /* Sv39 */ # define RISCV_PGLEVEL_BITS 9 +# define PTE_PPN_SHIFT RV64_PTE_PPN_SHIFT #else # define MSTATUS_SD MSTATUS32_SD # define SSTATUS_SD SSTATUS32_SD -# define RISCV_PGLEVELS 2 /* Sv32 */ # define RISCV_PGLEVEL_BITS 10 +# define PTE_PPN_SHIFT RV32_PTE_PPN_SHIFT #endif #define RISCV_PGSHIFT 12 #define RISCV_PGSIZE (1 << RISCV_PGSHIFT) |