Symbol: riscv_probe_decode_insn