276 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_is_edge()
285 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_is_enabled()
292 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_is_queued()
299 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_is_active()
306 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_set_queued()
313 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_clear_queued()
320 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_set_active()
327 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_clear_active()
334 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_get_level()
341 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_set_level()
348 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_clear_level()
355 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_soft_pend()
362 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_clear_soft_pend()
374 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_is_pending()
381 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_set_pending()
388 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_clear_pending()
514 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_handle_set_pending_reg()
551 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_handle_clear_pending_reg()
585 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_handle_set_active_reg()
604 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_handle_clear_active_reg()
748 static bool vgic_validate_access(const struct vgic_dist *dist,  in vgic_validate_access()
821 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_handle_mmio_access()
933 static int vgic_nr_shared_irqs(struct vgic_dist *dist)  in vgic_nr_shared_irqs()
940 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in compute_active_for_cpu()
970 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in compute_pending_for_cpu()
1009 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_update_state()
1101 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in dist_active_irq()
1188 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_queue_irq()
1252 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in __kvm_vgic_flush_hwstate()
1362 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_process_maintenance()
1419 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_sync_hwirq()
1437 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in __kvm_vgic_sync_hwstate()
1463 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in kvm_vgic_flush_hwstate()
1483 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in kvm_vgic_vcpu_pending_irq()
1528 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_update_irq_pending()
1729 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in kvm_vgic_map_phys_irq()
1823 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in kvm_vgic_unmap_phys_irq()
1849 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_destroy_irq_phys_map()
1925 	struct vgic_dist *dist = &kvm->arch.vgic;  in kvm_vgic_destroy()
1964 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_init()
2211 	struct vgic_dist *vgic = &kvm->arch.vgic;  in kvm_vgic_addr()