125 	int intid = val & 0xf;  in vgic_mmio_write_sgir()  local
151 		irq = vgic_get_irq(source_vcpu->kvm, vcpu, intid);  in vgic_mmio_write_sgir()
165 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_read_target()  local
170 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_target()
184 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_write_target()  local
190 	if (intid < VGIC_NR_PRIVATE_IRQS)  in vgic_mmio_write_target()
194 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, NULL, intid + i);  in vgic_mmio_write_target()
211 	u32 intid = addr & 0x0f;  in vgic_mmio_read_sgipend()  local
216 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_read_sgipend()
229 	u32 intid = addr & 0x0f;  in vgic_mmio_write_sgipendc()  local
234 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_sgipendc()
251 	u32 intid = addr & 0x0f;  in vgic_mmio_write_sgipends()  local
256 		struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);  in vgic_mmio_write_sgipends()