KVM_REQ_MASTERCLOCK_UPDATE
kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
if (kvm_check_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu))
kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
kvm_make_request(KVM_REQ_MASTERCLOCK_UPDATE, vcpu);
kvm_make_all_cpus_request(kvm, KVM_REQ_MASTERCLOCK_UPDATE);