kvm/vgic/vgic.c

58  * structure. The caller is expected to call vgic_put_irq() later once it's
80  * to call vgic_put_irq() once it's finished with this IRQ.
113 void vgic_put_irq(struct kvm *kvm, struct vgic_irq *irq)
145 			vgic_put_irq(vcpu->kvm, irq);
444 		vgic_put_irq(kvm, irq);
454 	vgic_put_irq(kvm, irq);
506 	vgic_put_irq(vcpu->kvm, irq);
534 	vgic_put_irq(vcpu->kvm, irq);
551 	vgic_put_irq(vcpu->kvm, irq);
567 	vgic_put_irq(vcpu->kvm, irq);
643 			 * This vgic_put_irq call matches the
649 			vgic_put_irq(vcpu->kvm, irq);
1004 	vgic_put_irq(vcpu->kvm, irq);