Symbol: __kvm_migrate_timers
arch/x86/kvm/irq.h
120
void __kvm_migrate_timers(struct kvm_vcpu *vcpu);
arch/x86/kvm/x86.c
11110
__kvm_migrate_timers(vcpu);