Lines Matching refs:intid
113 int intid = val & 0xf;
140 irq = vgic_get_irq(source_vcpu->kvm, vcpu, intid);
154 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
159 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
173 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
179 if (intid < VGIC_NR_PRIVATE_IRQS)
183 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, NULL, intid + i);
200 u32 intid = addr & 0x0f;
205 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
218 u32 intid = addr & 0x0f;
223 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
240 u32 intid = addr & 0x0f;
245 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);