Lines Matching refs:intid
196 int intid = VGIC_ADDR_TO_INTID(addr, 64);
197 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, NULL, intid);
215 int intid = VGIC_ADDR_TO_INTID(addr, 64);
223 irq = vgic_get_irq(vcpu->kvm, NULL, intid);
360 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
365 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
376 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
1175 u32 intid, u32 *val)
1177 if (intid % 32)
1181 vgic_write_irq_line_level_info(vcpu, intid, *val);
1183 *val = vgic_read_irq_line_level_info(vcpu, intid);