Lines Matching refs:vgic
15 #include "vgic.h"
62 struct vgic_dist *dist = &kvm->arch.vgic;
102 if (intid < (kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS)) {
103 intid = array_index_nospec(intid, kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS);
104 return &kvm->arch.vgic.spis[intid - VGIC_NR_PRIVATE_IRQS];
128 struct vgic_dist *dist = &kvm->arch.vgic;
141 struct vgic_dist *dist = &kvm->arch.vgic;
232 !irq->target_vcpu->kvm->arch.vgic.enabled))
423 * kvm_vgic_inject_irq - Inject an IRQ from a device to the vgic
981 if (!vcpu->kvm->arch.vgic.enabled)