84 static irqreturn_t vgic_v4_doorbell_handler(int irq, void *info)  in vgic_v4_doorbell_handler()
108 static void vgic_v4_sync_sgi_config(struct its_vpe *vpe, struct vgic_irq *irq)  in vgic_v4_sync_sgi_config()
126 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, i);  in vgic_v4_enable_vsgis()  local
163 		struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, i);  in vgic_v4_disable_vsgis()  local
213 void vgic_v4_get_vlpi_state(struct vgic_irq *irq, bool *val)  in vgic_v4_get_vlpi_state()
226 int vgic_v4_request_vpe_irq(struct kvm_vcpu *vcpu, int irq)  in vgic_v4_request_vpe_irq()
276 		int irq = dist->its_vm.vpes[i]->irq;  in vgic_v4_init()  local
327 		int irq = its_vm->vpes[i]->irq;  in vgic_v4_teardown()  local
431 	struct vgic_irq *irq;  in kvm_vgic_v4_set_forwarding()  local
513 	struct vgic_irq *irq;  in __vgic_host_irq_get_vlpi()  local
532 	struct vgic_irq *irq;  in kvm_vgic_v4_unset_forwarding()  local