diff options
author | Andrew Waterman <andrew@sifive.com> | 2017-02-25 15:32:51 -0800 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2017-02-25 15:32:51 -0800 |
commit | d203037851b05ed665ec98d8f6bf40dcd3984bbd (patch) | |
tree | 1e2cc5299c564e2f0bf33b3ee329f58b1f36342c /machine | |
parent | 410fb0384f0fac770ab89b675939790d9253bbf1 (diff) | |
download | riscv-pk-d203037851b05ed665ec98d8f6bf40dcd3984bbd.zip riscv-pk-d203037851b05ed665ec98d8f6bf40dcd3984bbd.tar.gz riscv-pk-d203037851b05ed665ec98d8f6bf40dcd3984bbd.tar.bz2 |
PPNs are 44 bits in RV64
Diffstat (limited to 'machine')
-rw-r--r-- | machine/encoding.h | 21 |
1 files changed, 7 insertions, 14 deletions
diff --git a/machine/encoding.h b/machine/encoding.h index e8e9dd4..13930e8 100644 --- a/machine/encoding.h +++ b/machine/encoding.h @@ -106,26 +106,19 @@ #define PRV_H 2 #define PRV_M 3 -#define VM_MBARE 0 -#define VM_MBB 1 -#define VM_MBBID 2 -#define VM_SV32 8 -#define VM_SV39 9 -#define VM_SV48 10 - #define SPTBR32_MODE 0x80000000 #define SPTBR32_ASID 0x7FC00000 #define SPTBR32_PPN 0x003FFFFF -#define SPTBR64_MODE 0xE000000000000000 -#define SPTBR64_ASID 0x1FFFE00000000000 -#define SPTBR64_PPN 0x0000003FFFFFFFFF +#define SPTBR64_MODE 0xF000000000000000 +#define SPTBR64_ASID 0x0FFFF00000000000 +#define SPTBR64_PPN 0x00000FFFFFFFFFFF #define SPTBR_MODE_OFF 0 #define SPTBR_MODE_SV32 1 -#define SPTBR_MODE_SV39 4 -#define SPTBR_MODE_SV48 5 -#define SPTBR_MODE_SV57 6 -#define SPTBR_MODE_SV64 7 +#define SPTBR_MODE_SV39 8 +#define SPTBR_MODE_SV48 9 +#define SPTBR_MODE_SV57 10 +#define SPTBR_MODE_SV64 11 #define IRQ_S_SOFT 1 #define IRQ_H_SOFT 2 |