diff options
author | francis4096 <50100389+francis4096@users.noreply.github.com> | 2021-03-03 08:03:34 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-02 16:03:34 -0800 |
commit | f62660ab2f37837217b4a61ac2cdf7f5ea14357c (patch) | |
tree | 18f342d1eba8f24c80ef37c9e05ce0a290734763 /riscv | |
parent | fbb46455d99771b7d3a2e60edc39acfd9d407f12 (diff) | |
download | spike-f62660ab2f37837217b4a61ac2cdf7f5ea14357c.zip spike-f62660ab2f37837217b4a61ac2cdf7f5ea14357c.tar.gz spike-f62660ab2f37837217b4a61ac2cdf7f5ea14357c.tar.bz2 |
Fix AMO guest page fault as store guest fault (#663)
Diffstat (limited to 'riscv')
-rw-r--r-- | riscv/mmu.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/mmu.h b/riscv/mmu.h index 0662579..f009679 100644 --- a/riscv/mmu.h +++ b/riscv/mmu.h @@ -207,6 +207,9 @@ public: } catch (trap_load_access_fault& t) { \ /* AMO faults should be reported as store faults */ \ throw trap_store_access_fault(t.has_gva(), t.get_tval(), t.get_tval2(), t.get_tinst()); \ + } catch (trap_load_guest_page_fault& t) { \ + /* AMO faults should be reported as store faults */ \ + throw trap_store_guest_page_fault(t.get_tval(), t.get_tval2(), t.get_tinst()); \ } \ } |