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;
115 kvm->arch.vgic.in_kernel = true;
116 kvm->arch.vgic.vgic_model = type;
118 kvm->arch.vgic.vgic_dist_base = VGIC_ADDR_UNDEF;
121 kvm->arch.vgic.vgic_cpu_base = VGIC_ADDR_UNDEF;
123 INIT_LIST_HEAD(&kvm->arch.vgic.rd_regions);
140 struct vgic_dist *dist = &kvm->arch.vgic;
249 struct vgic_dist *dist = &vcpu->kvm->arch.vgic;
296 struct vgic_dist *dist = &kvm->arch.vgic;
381 struct vgic_dist *dist = &kvm->arch.vgic;
420 if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
472 if (kvm->arch.vgic.vgic_model != KVM_DEV_TYPE_ARM_VGIC_V2)
498 struct vgic_dist *dist = &kvm->arch.vgic;
561 * We cannot rely on the vgic maintenance interrupt to be
615 kvm_err("No vgic maintenance irq\n");
624 kvm_info("Non-architectural vgic, tainting kernel\n");
657 "vgic", kvm_get_running_vcpus());
664 kvm_info("vgic interrupt IRQ%d\n", kvm_vgic_global_state.maint_irq);