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()
521 		vgic_put_irq(vcpu->kvm, irq);  in __vgic_mmio_read_active()
618 		vgic_put_irq(vcpu->kvm, irq);  in __vgic_mmio_write_cactive()
655 		vgic_put_irq(vcpu->kvm, irq);  in __vgic_mmio_write_sactive()
694 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_read_priority()
725 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_priority()
742 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_read_config()
777 		vgic_put_irq(vcpu->kvm, irq);  in vgic_mmio_write_config()
797 		vgic_put_irq(vcpu->kvm, irq);  in vgic_read_irq_line_level_info()
832 		vgic_put_irq(vcpu->kvm, irq);  in vgic_write_irq_line_level_info()