kvm_riscv_vcpu_timer_deinit
int kvm_riscv_vcpu_timer_deinit(struct kvm_vcpu *vcpu);
kvm_riscv_vcpu_timer_deinit(vcpu);