Symbol: riscv_vcpu_get_isa_ext_single
arch/riscv/kvm/vcpu_onereg.c
744
riscv_vcpu_get_isa_ext_single(vcpu, ext_id, &ext_val);
arch/riscv/kvm/vcpu_onereg.c
792
rc = riscv_vcpu_get_isa_ext_single(vcpu, reg_num, &reg_val);