Symbol: riscv_resolve_isa