72 	if (vcpu->kvm->arch.vgic.enabled)  in handle_mmio_ctlr()
79 		vcpu->kvm->arch.vgic.enabled = !!(reg & GICD_CTLR_ENABLE_SS_G1);  in handle_mmio_ctlr()
98 	reg = (min(vcpu->kvm->arch.vgic.nr_irqs, 1024) >> 5) - 1;  in handle_mmio_typer()
212 	reg = vgic_bytemap_get_reg(&vcpu->kvm->arch.vgic.irq_priority,  in handle_mmio_priority_reg_dist()
231 	reg = vgic_bitmap_get_reg(&vcpu->kvm->arch.vgic.irq_cfg,  in handle_mmio_cfg_reg_dist()
279 	struct vgic_dist *dist = &kvm->arch.vgic;  in handle_mmio_route_reg()
635 	reg = vgic_bytemap_get_reg(&vcpu->kvm->arch.vgic.irq_priority,  in handle_mmio_priority_reg_redist()
648 	u32 *reg = vgic_bitmap_get_reg(&vcpu->kvm->arch.vgic.irq_cfg,  in handle_mmio_cfg_reg_redist()
770 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_map_resources()
845 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_init_model()
872 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_init_emulation()
879 	kvm->arch.max_vcpus = KVM_MAX_VCPUS;  in vgic_v3_init_emulation()
933 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_dispatch_sgi()