kvm_riscv_vcpu_sbi_system_reset
void kvm_riscv_vcpu_sbi_system_reset(struct kvm_vcpu *vcpu,
kvm_riscv_vcpu_sbi_system_reset(vcpu, run,
kvm_riscv_vcpu_sbi_system_reset(vcpu, run,
kvm_riscv_vcpu_sbi_system_reset(vcpu, run,