Symbol: kvm_timer_vcpu_terminate
arch/arm64/kvm/arm.c
563
kvm_timer_vcpu_terminate(vcpu);
include/kvm/arm_arch_timer.h
106
void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu);