Lines Matching refs:vgic
15 #include "vgic.h"
60 struct vgic_dist *dist = &kvm->arch.vgic;
100 if (intid < (kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS)) {
101 intid = array_index_nospec(intid, kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS);
102 return &kvm->arch.vgic.spis[intid - VGIC_NR_PRIVATE_IRQS];
127 struct vgic_dist *dist = &kvm->arch.vgic;
140 struct vgic_dist *dist = &kvm->arch.vgic;
231 !irq->target_vcpu->kvm->arch.vgic.enabled))
422 * kvm_vgic_inject_irq - Inject an IRQ from a device to the vgic
962 if (!vcpu->kvm->arch.vgic.enabled)