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;
109 kvm->arch.vgic.in_kernel = true;
110 kvm->arch.vgic.vgic_model = type;
112 kvm->arch.vgic.vgic_dist_base = VGIC_ADDR_UNDEF;
115 kvm->arch.vgic.vgic_cpu_base = VGIC_ADDR_UNDEF;
117 INIT_LIST_HEAD(&kvm->arch.vgic.rd_regions);
133 struct vgic_dist *dist = &kvm->arch.vgic;
188 struct vgic_dist *dist = &vcpu->kvm->arch.vgic;
256 struct vgic_dist *dist = &kvm->arch.vgic;
329 struct vgic_dist *dist = &kvm->arch.vgic;
339 if (kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
405 if (kvm->arch.vgic.vgic_model != KVM_DEV_TYPE_ARM_VGIC_V2)
428 struct vgic_dist *dist = &kvm->arch.vgic;
466 * We cannot rely on the vgic maintenance interrupt to be
509 kvm_err("No vgic maintenance irq\n");
534 "vgic", kvm_get_running_vcpus());
542 "kvm/arm/vgic:starting",
545 kvm_err("Cannot register vgic CPU notifier\n");
549 kvm_info("vgic interrupt IRQ%d\n", kvm_vgic_global_state.maint_irq);