path: root/riscv/insns/lr_d.h

require_extension('A');
require_rv64;
WRITE_RD(MMU.load_reserved<int64_t>(RS1));