kvm_inject_pending_timer_irqs
void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu);
kvm_inject_pending_timer_irqs(vcpu);