14 #include "vgic.h"
39 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_fold_lr_state()
109 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_populate_lr()
174 	 * rising edges as input to the VGIC.  We therefore lower the line  in vgic_v3_populate_lr()
197 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_set_vmcr()
227 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_get_vmcr()
277 	if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {  in vgic_v3_enable()
356 	struct vgic_dist *dist = &kvm->arch.vgic;  in unmap_all_vpes()
365 	struct vgic_dist *dist = &kvm->arch.vgic;  in map_all_vpes()
379 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_save_pending_tables()
391 	 * The above vgic initialized check also ensures that the allocation  in vgic_v3_save_pending_tables()
462 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_rdist_overlap()
479 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_check_base()
527 	struct list_head *rd_regions = &kvm->arch.vgic.rd_regions;  in vgic_v3_rdist_region_from_index()
540 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_map_resources()
554 		kvm_debug("Need to set vgic distributor addresses first\n");  in vgic_v3_map_resources()
559 		kvm_debug("VGIC redist and dist frames overlap\n");  in vgic_v3_map_resources()
565 	 * the VGIC before we need to use it.  in vgic_v3_map_resources()
675 		kvm_info("vgic-v2@%llx\n", info->vcpu.start);  in vgic_v3_probe()