41 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_has_its()
64 	struct vgic_dist *vgic = &vcpu->kvm->arch.vgic;  in vgic_mmio_read_v3_misc()  local
69 		if (vgic->enabled)  in vgic_mmio_read_v3_misc()
74 		value = vgic->nr_spis + VGIC_NR_PRIVATE_IRQS;  in vgic_mmio_read_v3_misc()
85 			(vgic->implementation_rev << GICD_IIDR_REVISION_SHIFT) |  in vgic_mmio_read_v3_misc()
99 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_mmio_write_v3_misc()
404 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_mmio_read_propbase()
413 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_mmio_write_propbase()
626 	struct vgic_dist *vgic = &kvm->arch.vgic;  in vgic_register_redist_iodev()  local
642 	rdreg = vgic_v3_rdist_free_slot(&vgic->rd_regions);  in vgic_register_redist_iodev()
721 	struct vgic_dist *d = &kvm->arch.vgic;  in vgic_v3_insert_redist_region()