KVM_REQ_MIGRATE_TIMER 3536 arch/x86/kvm/x86.c 			kvm_make_request(KVM_REQ_MIGRATE_TIMER, vcpu);
KVM_REQ_MIGRATE_TIMER 8047 arch/x86/kvm/x86.c 		if (kvm_check_request(KVM_REQ_MIGRATE_TIMER, vcpu))