Browse Source

Fix AMO guest page fault as store guest fault (#663)

pull/665/head
francis4096 6 years ago
committed by GitHub
parent
commit
f62660ab2f
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      riscv/mmu.h

3
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()); \
} \
}

Loading…
Cancel
Save