Lines Matching refs:vgic
14 #include "vgic.h"
15 #include "vgic-mmio.h"
28 struct vgic_dist *vgic = &vcpu->kvm->arch.vgic;
33 value = vgic->enabled ? GICD_ENABLE : 0;
36 value = vgic->nr_spis + VGIC_NR_PRIVATE_IRQS;
42 (vgic->implementation_rev << GICD_IIDR_REVISION_SHIFT) |
56 struct vgic_dist *dist = &vcpu->kvm->arch.vgic;
90 vcpu->kvm->arch.vgic.v2_groups_user_writable = true;
102 if (vcpu->kvm->arch.vgic.v2_groups_user_writable)