riscv_vcpu_set_sbi_ext_single - Linux

Symbol: riscv_vcpu_set_sbi_ext_single

arch/riscv/kvm/vcpu_sbi.c

riscv_vcpu_set_sbi_ext_single(vcpu, ext_id, enable);

arch/riscv/kvm/vcpu_sbi.c

return riscv_vcpu_set_sbi_ext_single(vcpu, reg_num, reg_val);