72 	if (vcpu->kvm->arch.vgic.enabled)  in handle_mmio_ctlr()
81 		vcpu->kvm->arch.vgic.enabled = !!(reg & GICD_CTLR_ENABLE_SS_G1);  in handle_mmio_ctlr()
100 	reg = (min(vcpu->kvm->arch.vgic.nr_irqs, 1024) >> 5) - 1;  in handle_mmio_typer()
188 	reg = vgic_bytemap_get_reg(&vcpu->kvm->arch.vgic.irq_priority,  in handle_mmio_priority_reg_dist()
207 	reg = vgic_bitmap_get_reg(&vcpu->kvm->arch.vgic.irq_cfg,  in handle_mmio_cfg_reg_dist()
255 	struct vgic_dist *dist = &kvm->arch.vgic;  in handle_mmio_route_reg()
591 	reg = vgic_bytemap_get_reg(&vcpu->kvm->arch.vgic.irq_priority,  in handle_mmio_priority_reg_redist()
604 	u32 *reg = vgic_bitmap_get_reg(&vcpu->kvm->arch.vgic.irq_cfg,  in handle_mmio_cfg_reg_redist()
726 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_map_resources()
801 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_init_model()
828 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_init_emulation()
835 	kvm->arch.max_vcpus = KVM_MAX_VCPUS;  in vgic_v3_init_emulation()
889 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v3_dispatch_sgi()