Lines Matching refs:vgic
13 #include "vgic.h"
16 * Initialization rules: there are multiple stages to the vgic
54 struct vgic_dist *dist = &kvm->arch.vgic;
117 kvm->arch.vgic.in_kernel = true;
118 kvm->arch.vgic.vgic_model = type;
120 kvm->arch.vgic.vgic_dist_base = VGIC_ADDR_UNDEF;
123 kvm->arch.vgic.vgic_cpu_base = VGIC_ADDR_UNDEF;
125 INIT_LIST_HEAD(&kvm->arch.vgic.rd_regions);
142 struct vgic_dist *dist = &kvm->arch.vgic;
197 struct vgic_dist *dist = &vcpu->kvm->arch.vgic;
264 struct vgic_dist *dist = &kvm->arch.vgic;
345 struct vgic_dist *dist = &kvm->arch.vgic;
382 if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
434 if (kvm->arch.vgic.vgic_model != KVM_DEV_TYPE_ARM_VGIC_V2)
458 struct vgic_dist *dist = &kvm->arch.vgic;
521 * We cannot rely on the vgic maintenance interrupt to be
575 kvm_err("No vgic maintenance irq\n");
584 kvm_info("Non-architectural vgic, tainting kernel\n");
617 "vgic", kvm_get_running_vcpus());
624 kvm_info("vgic interrupt IRQ%d\n", kvm_vgic_global_state.maint_irq);