Lines Matching refs:vgic
14 #include "vgic.h"
39 u32 model = vcpu->kvm->arch.vgic.vgic_model;
109 u32 model = vcpu->kvm->arch.vgic.vgic_model;
197 u32 model = vcpu->kvm->arch.vgic.vgic_model;
227 u32 model = vcpu->kvm->arch.vgic.vgic_model;
277 if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
356 struct vgic_dist *dist = &kvm->arch.vgic;
365 struct vgic_dist *dist = &kvm->arch.vgic;
379 struct vgic_dist *dist = &kvm->arch.vgic;
391 * The above vgic initialized check also ensures that the allocation
462 struct vgic_dist *d = &kvm->arch.vgic;
479 struct vgic_dist *d = &kvm->arch.vgic;
527 struct list_head *rd_regions = &kvm->arch.vgic.rd_regions;
540 struct vgic_dist *dist = &kvm->arch.vgic;
554 kvm_debug("Need to set vgic distributor addresses first\n");
675 kvm_info("vgic-v2@%llx\n", info->vcpu.start);