KVM_REQ_CLOCK_UPDATE
if (kvm_check_request(KVM_REQ_CLOCK_UPDATE, vcpu))
if (kvm_check_request(KVM_REQ_CLOCK_UPDATE, vcpu)) {
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, v);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_all_cpus_request(kvm, KVM_REQ_CLOCK_UPDATE);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_CLOCK_UPDATE, vcpu);