53 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_group()
77 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_group()
105 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_enable()
125 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_senable()
174 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_cenable()
196 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_uaccess_write_senable()
217 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_uaccess_write_cenable()
239 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __read_pending()
313 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_spending()
355 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_uaccess_write_spending()
406 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_cpending()
449 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_uaccess_write_cpending()
512 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __vgic_mmio_read_active()
616 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __vgic_mmio_write_cactive()
653 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in __vgic_mmio_write_sactive()
690 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_priority()
716 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_priority()
737 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_config()
768 		irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_config()
793 		irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_read_irq_line_level_info()
817 		irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_write_irq_line_level_info()