diff options
| author | Robert Norton | 2016-02-02 15:41:00 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-02 15:41:27 +0000 |
| commit | bfa23329ca15b8db4437f832b520672e850ebd63 (patch) | |
| tree | cecaab891145b4abf04b8fc6d53e589aa32ac23e /mips/mips.sail | |
| parent | 28e520e33ca706796b603506dbd8d8ff66502f0d (diff) | |
mips.sail: TranslateAddress hack maps all xkphys addresses to 0x9... region
Diffstat (limited to 'mips/mips.sail')
| -rw-r--r-- | mips/mips.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index 5843e9ac..42c86b49 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -196,7 +196,7 @@ function (option<Exception>, option<bit[64]>) TranslateAddress ((bit[64]) vAddr, case (0b1111111111111111111111111111111, 0b00) -> (None, Some(vAddr)) (* kseg0 unmapped cached 32-bit compat *) case (_, _) -> (err, None) (* xkseg mapped TODO *) } - case 0b10 -> (None, Some(vAddr)) (* xkphys bits 61-59 are cache mode which we ignore *) + case 0b10 -> (None, Some(0b10010 : (vAddr[58..0]))) (* xkphys bits 61-59 are cache mode which we ignore *) case 0b01 -> (err, None) (* xsseg - supervisor mapped TODO *) case 0b00 -> (err, None) (* xuseg - user mapped TODO *) } |