From a1d3b43bcae9e754e0fd6544774398809913ab6f Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Thu, 14 May 2026 18:44:10 -0700 Subject: [PATCH] Report CBO.ZERO faults on effective address, not base address --- riscv/mmu.h | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/riscv/mmu.h b/riscv/mmu.h index 3c85bc6f..2e075747 100644 --- a/riscv/mmu.h +++ b/riscv/mmu.h @@ -227,10 +227,16 @@ public: auto access_info = generate_access_info(addr, STORE, {}); reg_t transformed_addr = access_info.transformed_vaddr; - auto base = transformed_addr & ~(blocksz - 1); check_triggers(triggers::OPERATION_STORE, transformed_addr, false, blocksz); - for (size_t offset = 0; offset < blocksz; offset += 1) - store(base + offset, 0); + + reg_t paddr = translate(access_info, 1); + if (auto host_addr = sim->addr_to_mem(paddr)) { + if (tracer.interested_in_range(paddr, paddr + PGSIZE, STORE)) + tracer.trace(paddr - (transformed_addr & (blocksz - 1)), blocksz, STORE); + memset(host_addr - (transformed_addr & (blocksz - 1)), 0, blocksz); + } else { + throw trap_store_access_fault((proc) ? proc->state.v : false, transformed_addr, 0, 0); + } } void clean_inval(reg_t addr, bool clean, bool inval) {