Lines Matching full:vgic

15 #include "vgic.h"
51  * Since the VGIC must support injecting virtual interrupts from ISRs, we have
62 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_get_lpi()
102 	if (intid < (kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS)) {  in vgic_get_irq()
103 		intid = array_index_nospec(intid, kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS);  in vgic_get_irq()
104 		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_lpi_locked()
141 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_put_irq()
232 			     !irq->target_vcpu->kvm->arch.vgic.enabled))  in vgic_target_oracle()
423  * kvm_vgic_inject_irq - Inject an IRQ from a device to the vgic
435  * The VGIC is not concerned with devices being active-LOW or active-HIGH for
874 /* Sync back the hardware VGIC state into our emulation after a guest's run. */
979 	if (!vcpu->kvm->arch.vgic.enabled)  in kvm_vgic_vcpu_pending_irq()
1042  * edges as input to the VGIC.