Lines Matching refs:intid
48 u32 intid, cpuid;
57 intid = val & ICH_LR_VIRTUAL_ID_MASK;
59 intid = val & GICH_LR_VIRTUALID;
60 is_v2_sgi = vgic_irq_is_sgi(intid);
64 if (lr_signals_eoi_mi(val) && vgic_valid_spi(vcpu->kvm, intid))
66 intid - VGIC_NR_PRIVATE_IRQS);
68 irq = vgic_get_irq(vcpu->kvm, vcpu, intid);
110 u64 val = irq->intid;
113 is_v2_sgi = (vgic_irq_is_sgi(irq->intid) &&
155 if (vgic_irq_is_sgi(irq->intid) &&
160 irq->intid))
322 byte_offset = irq->intid / BITS_PER_BYTE;
323 bit_nr = irq->intid % BITS_PER_BYTE;
412 byte_offset = irq->intid / BITS_PER_BYTE;
413 bit_nr = irq->intid % BITS_PER_BYTE;