kvm_cpu_has_pending_timer
if (kvm_cpu_has_pending_timer(vcpu))
int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu);