__kvm_migrate_timers   90 arch/x86/kvm/irq.h void __kvm_migrate_timers(struct kvm_vcpu *vcpu);
__kvm_migrate_timers 2831 arch/x86/kvm/x86.c 			__kvm_migrate_timers(vcpu);