KVM_REQ_PENDING_TIMER
kvm_make_request(KVM_REQ_PENDING_TIMER, vcpu);
if (kvm_check_request(KVM_REQ_PENDING_TIMER, vcpu))