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