248 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_is_edge()
257 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_is_enabled()
264 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_is_queued()
271 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_is_active()
278 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_set_queued()
285 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_clear_queued()
292 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_set_active()
299 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_irq_clear_active()
306 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_get_level()
313 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_set_level()
320 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_clear_level()
327 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_soft_pend()
334 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_clear_soft_pend()
341 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_is_pending()
348 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_set_pending()
355 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_dist_irq_clear_pending()
481 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_handle_set_pending_reg()
518 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_handle_clear_pending_reg()
552 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_handle_set_active_reg()
571 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_handle_clear_active_reg()
730 static bool vgic_validate_access(const struct vgic_dist *dist,  in vgic_validate_access()
803 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_handle_mmio_access()
915 static int vgic_nr_shared_irqs(struct vgic_dist *dist)  in vgic_nr_shared_irqs()
922 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in compute_active_for_cpu()
952 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in compute_pending_for_cpu()
985 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_update_state()
1132 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_queue_irq()
1200 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in __kvm_vgic_flush_hwstate()
1262 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in vgic_process_maintenance()
1348 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in __kvm_vgic_sync_hwstate()
1379 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in kvm_vgic_flush_hwstate()
1399 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in kvm_vgic_vcpu_pending_irq()
1409 	struct vgic_dist *dist = &vcpu->kvm->arch.vgic;  in kvm_vgic_vcpu_active_irq()
1454 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_update_irq_pending()
1645 	struct vgic_dist *dist = &kvm->arch.vgic;  in kvm_vgic_destroy()
1683 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_init()
1909 	struct vgic_dist *vgic = &kvm->arch.vgic;  in kvm_vgic_addr()