kvm_migrate_timers  705 arch/x86/kvm/svm.c 		kvm_migrate_timers(vcpu);
kvm_migrate_timers  628 arch/x86/kvm/vmx.c 		kvm_migrate_timers(vcpu);