DECLARE_INSN(fmv_x_s, 0x1c053, 0x3fffff)
DECLARE_INSN(fsgnjn_d, 0x60d3, 0x1ffff)
DECLARE_INSN(fnmadd_s, 0x4f, 0x1ff)
-DECLARE_INSN(jal, 0x6f, 0x7f)
+DECLARE_INSN(jal, 0x67, 0x7f)
DECLARE_INSN(lwu, 0x303, 0x3ff)
DECLARE_INSN(fmv_x_d, 0x1c0d3, 0x3fffff)
DECLARE_INSN(fnmadd_d, 0xcf, 0x1ff)
DECLARE_INSN(amomin_d, 0x41ab, 0x7fff)
DECLARE_INSN(divu, 0x6b3, 0x1ffff)
DECLARE_INSN(amoswap_w, 0x52b, 0x7fff)
-DECLARE_INSN(jalr, 0x67, 0x3ff)
+DECLARE_INSN(jalr, 0x6f, 0x3ff)
DECLARE_INSN(fadd_s, 0x53, 0x1f1ff)
DECLARE_INSN(fcvt_l_d, 0x80d3, 0x3ff1ff)
DECLARE_INSN(sw, 0x123, 0x3ff)