58 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_read_group()
88 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_group()
110 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_read_enable()
139 			vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_senable()
161 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_senable()
183 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_cenable()
202 		vgic_put_irq(vcpu->kvm, irq);  in vgic_uaccess_write_senable()
223 		vgic_put_irq(vcpu->kvm, irq);  in vgic_uaccess_write_cenable()
280 		vgic_put_irq(vcpu->kvm, irq);  in __read_pending()
317 			vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_spending()
332 			vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_spending()
342 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_spending()
370 		vgic_put_irq(vcpu->kvm, irq);  in vgic_uaccess_write_spending()
410 			vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_cpending()
425 			vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_cpending()
436 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_cpending()
464 		vgic_put_irq(vcpu->kvm, irq);  in vgic_uaccess_write_cpending()
518 		vgic_put_irq(vcpu->kvm, irq);  in __vgic_mmio_read_active()
615 		vgic_put_irq(vcpu->kvm, irq);  in __vgic_mmio_write_cactive()
652 		vgic_put_irq(vcpu->kvm, irq);  in __vgic_mmio_write_sactive()
691 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_read_priority()
722 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_priority()
739 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_read_config()
774 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_config()
794 		vgic_put_irq(vcpu->kvm, irq);  in vgic_read_irq_line_level_info()
829 		vgic_put_irq(vcpu->kvm, irq);  in vgic_write_irq_line_level_info()