kvm_riscv_vcpu_sbi_request_reset
void kvm_riscv_vcpu_sbi_request_reset(struct kvm_vcpu *vcpu,
kvm_riscv_vcpu_sbi_request_reset(target_vcpu, cp->a1, cp->a2);
kvm_riscv_vcpu_sbi_request_reset(vcpu, cp->a1, cp->a2);