Lines Matching full:vgic
15 #include "vgic.h"
49 * Since the VGIC must support injecting virtual interrupts from ISRs, we have
60 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_get_lpi()
100 if (intid < (kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS)) { in vgic_get_irq()
101 intid = array_index_nospec(intid, kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS); in vgic_get_irq()
102 return &kvm->arch.vgic.spis[intid - VGIC_NR_PRIVATE_IRQS]; in vgic_get_irq()
127 struct vgic_dist *dist = &kvm->arch.vgic; in __vgic_put_lpi_locked()
140 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_put_irq()
231 !irq->target_vcpu->kvm->arch.vgic.enabled)) in vgic_target_oracle()
421 * kvm_vgic_inject_irq - Inject an IRQ from a device to the vgic
433 * The VGIC is not concerned with devices being active-LOW or active-HIGH for
859 /* Sync back the hardware VGIC state into our emulation after a guest's run. */
961 if (!vcpu->kvm->arch.vgic.enabled) in kvm_vgic_vcpu_pending_irq()