54 	struct vgic_dist *dist = &kvm->arch.vgic;  in kvm_vgic_early_init()
117 	kvm->arch.vgic.in_kernel = true;  in kvm_vgic_create()
118 	kvm->arch.vgic.vgic_model = type;  in kvm_vgic_create()
120 	kvm->arch.vgic.vgic_dist_base = VGIC_ADDR_UNDEF;  in kvm_vgic_create()
123 		kvm->arch.vgic.vgic_cpu_base = VGIC_ADDR_UNDEF;  in kvm_vgic_create()
125 		INIT_LIST_HEAD(&kvm->arch.vgic.rd_regions);  in kvm_vgic_create()
142 	struct vgic_dist *dist = &kvm->arch.vgic;  in kvm_vgic_dist_init()
197 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in kvm_vgic_vcpu_init()
264 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_init()
345 	struct vgic_dist *dist = &kvm->arch.vgic;  in kvm_vgic_dist_destroy()
382 	if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {  in __kvm_vgic_vcpu_destroy()
434 		if (kvm->arch.vgic.vgic_model != KVM_DEV_TYPE_ARM_VGIC_V2)  in vgic_lazy_init()
458 	struct vgic_dist *dist = &kvm->arch.vgic;  in kvm_vgic_map_resources()