diff --git a/src/memory/paddr.c b/src/memory/paddr.c index 9e27ab2299152a58a45a375209f32d2787f2e750..e55de94654c183ed7f352adede6c90bd66a948f1 100644 --- a/src/memory/paddr.c +++ b/src/memory/paddr.c @@ -155,6 +155,9 @@ store_commit_t store_commit_queue[STORE_QUEUE_SIZE]; static uint64_t head = 0, tail = 0; void store_commit_queue_push(uint64_t addr, uint64_t data, int len) { + if (cpu.amo) { + return; + } store_commit_t *commit = store_commit_queue + tail; assert(!commit->valid); uint64_t offset = addr % 8ULL;