Fix priority of misaligned exceptions for store-conditional

Previously, we unintentionally prioritized access faults and page faults.

Resolves #431

1 files changed, 5 insertions, 2 deletions

diff --git a/riscv/insns/sc_w.h b/riscv/insns/sc_w.h
index fe4fcdc..e430dcb 100644
--- a/riscv/insns/sc_w.h
+++ b/riscv/insns/sc_w.h
@@ -1,7 +1,10 @@
 require_extension('A');
 
-bool have_reservation = MMU.check_load_reservation(RS1);
-MMU.amo_uint32(RS1, [&](uint32_t lhs) { return have_reservation ? RS2 : lhs; });
+bool have_reservation = MMU.check_load_reservation(RS1, 4);
+
+if (have_reservation)
+  MMU.store_uint32(RS1, RS2);
+
 MMU.yield_load_reservation();
 
 WRITE_RD(!have_reservation);