path: root/riscv/insns/ld.h

require_xpr64;
RD = mmu.load_int64(ITYPE_EADDR);