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