51 		reg = vcpu->kvm->arch.vgic.enabled;  in handle_mmio_misc()
55 			vcpu->kvm->arch.vgic.enabled = reg & 1;  in handle_mmio_misc()
63 		reg |= (vcpu->kvm->arch.vgic.nr_irqs >> 5) - 1;  in handle_mmio_misc()
130 	u32 *reg = vgic_bytemap_get_reg(&vcpu->kvm->arch.vgic.irq_priority,  in handle_mmio_priority_reg()
142 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_get_target_reg()
156 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_set_target_reg()
221 	reg = vgic_bitmap_get_reg(&vcpu->kvm->arch.vgic.irq_cfg,  in handle_mmio_cfg_reg()
248 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in read_set_clear_sgi_pend_reg()
270 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in write_set_clear_sgi_pend_reg()
410 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_dispatch_sgi()
451 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_v2_queue_sgi()
491 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v2_map_resources()
546 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_v2_add_sgi_source()
555 	for (i = VGIC_NR_PRIVATE_IRQS; i < kvm->arch.vgic.nr_irqs; i += 4)  in vgic_v2_init_model()
563 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v2_init_emulation()
570 	kvm->arch.max_vcpus = VGIC_V2_MAX_CPUS;  in vgic_v2_init_emulation()
692 	vgic = &dev->kvm->arch.vgic;  in vgic_attr_regs_access()