Lines Matching defs:vgic
13 #include "vgic.h"
34 if (kvm->arch.vgic.vgic_model != type_needed)
41 * kvm_vgic_addr - set or get vgic VM base addresses
48 * Set or get the vgic base addresses for the distributor and the virtual CPU
59 struct vgic_dist *vgic = &kvm->arch.vgic;
67 addr_ptr = &vgic->vgic_dist_base;
72 addr_ptr = &vgic->vgic_cpu_base;
77 addr_ptr = &vgic->vgic_dist_base;
90 rdreg = list_first_entry_or_null(&vgic->rd_regions,
193 if (vgic_ready(dev->kvm) || dev->kvm->arch.vgic.nr_spis)
196 dev->kvm->arch.vgic.nr_spis =
243 r = put_user(dev->kvm->arch.vgic.nr_spis +
326 * that no other VCPUs are run and fiddle with the vgic state while we
468 .name = "kvm-arm-vgic-v2",
738 .name = "kvm-arm-vgic-v3",