kvm_riscv_vcpu_sbi_deinit - Linux

Symbol: kvm_riscv_vcpu_sbi_deinit

arch/riscv/include/asm/kvm_vcpu_sbi.h

void kvm_riscv_vcpu_sbi_deinit(struct kvm_vcpu *vcpu);

arch/riscv/kvm/vcpu.c

kvm_riscv_vcpu_sbi_deinit(vcpu);