Lines Matching full:intid
48 u32 intid, cpuid; in vgic_v3_fold_lr_state() local
57 intid = val & ICH_LR_VIRTUAL_ID_MASK; in vgic_v3_fold_lr_state()
59 intid = val & GICH_LR_VIRTUALID; in vgic_v3_fold_lr_state()
60 is_v2_sgi = vgic_irq_is_sgi(intid); in vgic_v3_fold_lr_state()
64 if (lr_signals_eoi_mi(val) && vgic_valid_spi(vcpu->kvm, intid)) in vgic_v3_fold_lr_state()
66 intid - VGIC_NR_PRIVATE_IRQS); in vgic_v3_fold_lr_state()
68 irq = vgic_get_irq(vcpu->kvm, vcpu, intid); in vgic_v3_fold_lr_state()
110 u64 val = irq->intid; in vgic_v3_populate_lr()
113 is_v2_sgi = (vgic_irq_is_sgi(irq->intid) && in vgic_v3_populate_lr()
155 if (vgic_irq_is_sgi(irq->intid) && in vgic_v3_populate_lr()
159 if (WARN_RATELIMIT(!src, "No SGI source for INTID %d\n", in vgic_v3_populate_lr()
160 irq->intid)) in vgic_v3_populate_lr()
334 byte_offset = irq->intid / BITS_PER_BYTE; in vgic_v3_lpi_sync_pending_status()
335 bit_nr = irq->intid % BITS_PER_BYTE; in vgic_v3_lpi_sync_pending_status()
425 byte_offset = irq->intid / BITS_PER_BYTE; in vgic_v3_save_pending_tables()
426 bit_nr = irq->intid % BITS_PER_BYTE; in vgic_v3_save_pending_tables()