kvm_riscv_vcpu_sbi_init
void kvm_riscv_vcpu_sbi_init(struct kvm_vcpu *vcpu);
kvm_riscv_vcpu_sbi_init(vcpu);