path: root/riscv/insns/fsd.h

require_fp;
mmu.store_uint64(RS1+BIMM, FRS2);