Symbol: kvm_timer_vcpu_put
arch/arm64/kvm/arm.c
721
kvm_timer_vcpu_put(vcpu);
include/kvm/arm_arch_timer.h
117
void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);