15 #include "vgic.h"
40 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_fold_lr_state()
110 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_populate_lr()
175 	 * rising edges as input to the VGIC.  We therefore lower the line  in vgic_v3_populate_lr()
198 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_set_vmcr()
228 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_get_vmcr()
278 	if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {  in vgic_v3_enable()
369 	struct vgic_dist *dist = &kvm->arch.vgic;  in unmap_all_vpes()
378 	struct vgic_dist *dist = &kvm->arch.vgic;  in map_all_vpes()
392 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_save_pending_tables()
405 	 * The above vgic initialized check also ensures that the allocation  in vgic_v3_save_pending_tables()
476 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_rdist_overlap()
493 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_check_base()
541 	struct list_head *rd_regions = &kvm->arch.vgic.rd_regions;  in vgic_v3_rdist_region_from_index()
554 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_map_resources()
568 		kvm_debug("Need to set vgic distributor addresses first\n");  in vgic_v3_map_resources()
573 		kvm_debug("VGIC redist and dist frames overlap\n");  in vgic_v3_map_resources()
579 	 * the VGIC before we need to use it.  in vgic_v3_map_resources()
689 		kvm_info("vgic-v2@%llx\n", info->vcpu.start);  in vgic_v3_probe()