Lines Matching full:intid
61 u32 cpuid, intid = val & GICH_LR_VIRTUALID; in vgic_v2_fold_lr_state() local
70 if (lr_signals_eoi_mi(val) && vgic_valid_spi(vcpu->kvm, intid)) in vgic_v2_fold_lr_state()
72 intid - VGIC_NR_PRIVATE_IRQS); in vgic_v2_fold_lr_state()
74 irq = vgic_get_irq(vcpu->kvm, vcpu, intid); in vgic_v2_fold_lr_state()
81 if (irq->active && vgic_irq_is_sgi(intid)) in vgic_v2_fold_lr_state()
89 if (vgic_irq_is_sgi(intid)) in vgic_v2_fold_lr_state()
139 u32 val = irq->intid; in vgic_v2_populate_lr()
144 if (vgic_irq_is_sgi(irq->intid)) in vgic_v2_populate_lr()
184 if (vgic_irq_is_sgi(irq->intid)) { in vgic_v2_populate_lr()
187 if (WARN_RATELIMIT(!src, "No SGI source for INTID %d\n", in vgic_v2_populate_lr()
188 irq->intid)) in vgic_v2_populate_lr()