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()
249 		 * Refer to Documentation/virt/kvm/devices/arm-vgic-v3.rst  in __read_pending()
264 			switch (vcpu->kvm->arch.vgic.vgic_model) {  in __read_pending()
301 		vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V2);  in is_vgic_v2_sgi()
380 	 * can happen is an additional vgic injection.  We also clear  in vgic_hw_irq_cpending()
467  * userspace accesses to the VGIC state already require all VCPUs to be
473 	if ((vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 &&  in vgic_access_active_prepare()
482 	if ((vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 &&  in vgic_access_active_finish()
564 		u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_mmio_change_active()
770 	int nr_irqs = vcpu->kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;  in vgic_read_irq_line_level_info()
792 	int nr_irqs = vcpu->kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;  in vgic_write_irq_line_level_info()
922 	int flags, nr_irqs = kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;  in check_region()
1003  * Userland access to VGIC registers.
1083 	struct vgic_io_device *io_device = &kvm->arch.vgic.dist_iodev;  in vgic_register_dist_iodev()