Searched refs:kvm_inject_pending_timer_irqs (Results 1 – 3 of 3) sorted by relevance
85 void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu) in kvm_inject_pending_timer_irqs() function90 EXPORT_SYMBOL_GPL(kvm_inject_pending_timer_irqs);
97 void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu);
5421 kvm_inject_pending_timer_irqs(vcpu); in __vcpu_run()