Searched refs:riscv_vcpu_get_sbi_ext (Results 1 – 1 of 1) sorted by relevance
92 riscv_vcpu_get_sbi_ext(struct kvm_vcpu *vcpu, unsigned long idx) in riscv_vcpu_get_sbi_ext() function114 sext = riscv_vcpu_get_sbi_ext(vcpu, idx); in riscv_vcpu_supports_sbi_ext()188 sext = riscv_vcpu_get_sbi_ext(vcpu, reg_num); in riscv_vcpu_set_sbi_ext_single()206 sext = riscv_vcpu_get_sbi_ext(vcpu, reg_num); in riscv_vcpu_get_sbi_ext_single()