Lines Matching refs:intid
182 int intid = VGIC_ADDR_TO_INTID(addr, 64);
183 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, NULL, intid);
201 int intid = VGIC_ADDR_TO_INTID(addr, 64);
209 irq = vgic_get_irq(vcpu->kvm, NULL, intid);
314 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
326 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
329 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
351 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
356 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
367 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
1077 u32 intid, u64 *val)
1079 if (intid % 32)
1083 vgic_write_irq_line_level_info(vcpu, intid, *val);
1085 *val = vgic_read_irq_line_level_info(vcpu, intid);