KVM_REQ_GLOBAL_CLOCK_UPDATE 2816 arch/x86/kvm/x86.c 		kvm_make_request(KVM_REQ_GLOBAL_CLOCK_UPDATE, vcpu);
KVM_REQ_GLOBAL_CLOCK_UPDATE 3534 arch/x86/kvm/x86.c 			kvm_make_request(KVM_REQ_GLOBAL_CLOCK_UPDATE, vcpu);
KVM_REQ_GLOBAL_CLOCK_UPDATE 8051 arch/x86/kvm/x86.c 		if (kvm_check_request(KVM_REQ_GLOBAL_CLOCK_UPDATE, vcpu))