Searched refs:kvm_queue_irq (Results 1 – 3 of 3) sorted by relevance
33 kvm_queue_irq(vcpu, INT_TI); in kvm_swtimer_wakeup()129 kvm_queue_irq(vcpu, INT_TI); in kvm_restore_timer()
1467 kvm_queue_irq(vcpu, intr); in kvm_vcpu_ioctl_interrupt()
96 static inline void kvm_queue_irq(struct kvm_vcpu *vcpu, unsigned int irq) in kvm_queue_irq() function