diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-08-17 14:00:58 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-08-17 15:27:42 -0700 |
| commit | 5e1d0059353a4756740df709f85c35ee86138ad6 (patch) | |
| tree | 5d7b128e83b1123bb8204d0136c748c1b78af327 /riscv/mmu.cc | |
| parent | eb19d1c1deabf9c8ca7d0f3958b2b6d797f100a9 (diff) | |
| download | spike-5e1d0059353a4756740df709f85c35ee86138ad6.zip spike-5e1d0059353a4756740df709f85c35ee86138ad6.tar.gz spike-5e1d0059353a4756740df709f85c35ee86138ad6.tar.bz2 | |
Allow mstatus.MPP to store bad values; instead, validate on MRET
Either approach is legal, but this more closely matches Rocket.
Diffstat (limited to 'riscv/mmu.cc')
0 files changed, 0 insertions, 0 deletions