Lines Matching refs:intid
125 int intid = val & 0xf;
151 irq = vgic_get_irq(source_vcpu->kvm, vcpu, intid);
165 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
170 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
184 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
190 if (intid < VGIC_NR_PRIVATE_IRQS)
194 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, NULL, intid + i);
211 u32 intid = addr & 0x0f;
216 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
229 u32 intid = addr & 0x0f;
234 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
251 u32 intid = addr & 0x0f;
256 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);