Searched refs:kvm_queue_irq (Results 1 – 4 of 4) sorted by relevance
32 kvm_queue_irq(vcpu, INT_TI); in kvm_swtimer_wakeup()127 kvm_queue_irq(vcpu, INT_TI); in kvm_restore_timer()
782 kvm_queue_irq(dest, INT_SWI0); in kvm_send_pv_ipi()
1414 kvm_queue_irq(vcpu, intr); in kvm_vcpu_ioctl_interrupt()
94 static inline void kvm_queue_irq(struct kvm_vcpu *vcpu, unsigned int irq) in kvm_queue_irq() function