Lines Matching refs:vgic
11 #include "vgic.h"
35 u32 model = vcpu->kvm->arch.vgic.vgic_model;
120 u32 model = vcpu->kvm->arch.vgic.vgic_model;
208 u32 model = vcpu->kvm->arch.vgic.vgic_model;
238 u32 model = vcpu->kvm->arch.vgic.vgic_model;
288 if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
365 struct vgic_dist *dist = &kvm->arch.vgic;
422 struct vgic_dist *d = &kvm->arch.vgic;
439 struct vgic_dist *d = &kvm->arch.vgic;
485 struct list_head *rd_regions = &kvm->arch.vgic.rd_regions;
498 struct vgic_dist *dist = &kvm->arch.vgic;
517 kvm_err("Need to set vgic distributor addresses first\n");
621 kvm_info("vgic-v2@%llx\n", info->vcpu.start);