[riscv-isa-sim.git] / riscv / insns / sd.h

require_xpr64;
mmu.store_uint64(BTYPE_EADDR, RS2);