3  * VGIC: KVM DEVICE API
13 #include "vgic.h"
34 	if (kvm->arch.vgic.vgic_model != type_needed)  in vgic_check_type()
41  * kvm_vgic_addr - set or get vgic VM base addresses
43  * @type:  the VGIC addr type, one of KVM_VGIC_V[23]_ADDR_TYPE_XXX
48  * Set or get the vgic base addresses for the distributor and the virtual CPU
59 	struct vgic_dist *vgic = &kvm->arch.vgic;  in kvm_vgic_addr()  local
67 		addr_ptr = &vgic->vgic_dist_base;  in kvm_vgic_addr()
72 		addr_ptr = &vgic->vgic_cpu_base;  in kvm_vgic_addr()
77 		addr_ptr = &vgic->vgic_dist_base;  in kvm_vgic_addr()
90 		rdreg = list_first_entry(&vgic->rd_regions,  in kvm_vgic_addr()
193 		if (vgic_ready(dev->kvm) || dev->kvm->arch.vgic.nr_spis)  in vgic_set_common_attr()
196 			dev->kvm->arch.vgic.nr_spis =  in vgic_set_common_attr()
240 		r = put_user(dev->kvm->arch.vgic.nr_spis +  in vgic_get_common_attr()
323 	 * that no other VCPUs are run and fiddle with the vgic state while we  in lock_all_vcpus()
337  * vgic_v2_attr_regs_access - allows user space to access VGIC v2 state
465 	.name = "kvm-arm-vgic-v2",
501  * vgic_v3_attr_regs_access - allows user space to access VGIC v3 state
735 	.name = "kvm-arm-vgic-v3",