Symbol: riscv_vcpu_get_sbi_ext
arch/riscv/kvm/vcpu_sbi.c
122
sext = riscv_vcpu_get_sbi_ext(vcpu, idx);
arch/riscv/kvm/vcpu_sbi.c
228
sext = riscv_vcpu_get_sbi_ext(vcpu, reg_num);
arch/riscv/kvm/vcpu_sbi.c
246
sext = riscv_vcpu_get_sbi_ext(vcpu, reg_num);