11 #include "vgic.h"
35 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_fold_lr_state()
92 		 * observe rising edges as input to the VGIC.  in vgic_v3_fold_lr_state()
120 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_populate_lr()
185 	 * rising edges as input to the VGIC.  We therefore lower the line  in vgic_v3_populate_lr()
208 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_set_vmcr()
238 	u32 model = vcpu->kvm->arch.vgic.vgic_model;  in vgic_v3_get_vmcr()
288 	if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {  in vgic_v3_enable()
365 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_save_pending_tables()
422 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_rdist_overlap()
439 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_check_base()
485 	struct list_head *rd_regions = &kvm->arch.vgic.rd_regions;  in vgic_v3_rdist_region_from_index()
498 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_map_resources()
517 		kvm_err("Need to set vgic distributor addresses first\n");  in vgic_v3_map_resources()
523 		kvm_err("VGIC redist and dist frames overlap\n");  in vgic_v3_map_resources()
530 	 * the VGIC before we need to use it.  in vgic_v3_map_resources()
621 		kvm_info("vgic-v2@%llx\n", info->vcpu.start);  in vgic_v3_probe()