Symbol: kvm_riscv_vcpu_timer_deinit
arch/riscv/include/asm/kvm_vcpu_timer.h
44
int kvm_riscv_vcpu_timer_deinit(struct kvm_vcpu *vcpu);
arch/riscv/kvm/vcpu.c
197
kvm_riscv_vcpu_timer_deinit(vcpu);