Lines Matching full:vgic
15 #include "vgic.h"
56 * Since the VGIC must support injecting virtual interrupts from ISRs, we have
68 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_get_lpi()
91 intid < (kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS)) { in vgic_get_irq()
92 intid = array_index_nospec(intid, kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS); in vgic_get_irq()
93 return &kvm->arch.vgic.spis[intid - VGIC_NR_PRIVATE_IRQS]; in vgic_get_irq()
128 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_put_irq()
224 !irq->target_vcpu->kvm->arch.vgic.enabled)) in vgic_target_oracle()
416 * kvm_vgic_inject_irq - Inject an IRQ from a device to the vgic
428 * The VGIC is not concerned with devices being active-LOW or active-HIGH for
870 /* Sync back the hardware VGIC state into our emulation after a guest's run. */
970 if (!vcpu->kvm->arch.vgic.enabled) in kvm_vgic_vcpu_pending_irq()
1033 * edges as input to the VGIC.