Searched refs:riscv_vcpu_get_sbi_ext (Results 1 – 1 of 1) sorted by relevance
88 riscv_vcpu_get_sbi_ext(struct kvm_vcpu *vcpu, unsigned long idx) in riscv_vcpu_get_sbi_ext() function110 sext = riscv_vcpu_get_sbi_ext(vcpu, idx); in riscv_vcpu_supports_sbi_ext()184 sext = riscv_vcpu_get_sbi_ext(vcpu, reg_num); in riscv_vcpu_set_sbi_ext_single()202 sext = riscv_vcpu_get_sbi_ext(vcpu, reg_num); in riscv_vcpu_get_sbi_ext_single()