Lines Matching full:vgic

3  * VGIC MMIO handling functions
16 #include "vgic.h"
17 #include "vgic-mmio.h"
148 			 * while the interrupt was disabled at the VGIC level.  in vgic_mmio_write_senable()
282 		vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V2);  in is_vgic_v2_sgi()
369 	 * can happen is an additional vgic injection.  We also clear  in vgic_hw_irq_cpending()
462  * userspace accesses to the VGIC state already require all VCPUs to be
468 	if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 ||  in vgic_access_active_prepare()
476 	if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 ||  in vgic_access_active_finish()
557 		u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_mmio_change_active()
763 	int nr_irqs = vcpu->kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;  in vgic_read_irq_line_level_info()
785 	int nr_irqs = vcpu->kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;  in vgic_write_irq_line_level_info()
915 	int flags, nr_irqs = kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;  in check_region()
998  * Userland access to VGIC registers.
1078 	struct vgic_io_device *io_device = &kvm->arch.vgic.dist_iodev;  in vgic_register_dist_iodev()