path: root/riscv/insns/fsd.h

require_fp;
mmu.store_uint64(BTYPE_EADDR, FRS2);