kvm/vgic/vgic-v4.c

137 		irq->host_irq = irq_find_mapping(vpe->sgi_domain, i);
141 		desc = irq_to_desc(irq->host_irq);
146 			ret = irq_set_irqchip_state(irq->host_irq,
174 		ret = irq_get_irqchip_state(irq->host_irq,
179 		desc = irq_to_desc(irq->host_irq);
487 	irq->host_irq	= virq;
494 	ret = irq_set_irqchip_state(irq->host_irq, IRQCHIP_STATE_PENDING,
496 	WARN_RATELIMIT(ret, "IRQ %d", irq->host_irq);
511 static struct vgic_irq *__vgic_host_irq_get_vlpi(struct kvm *kvm, int host_irq)
518 		if (!irq->hw || irq->host_irq != host_irq)
530 void kvm_vgic_v4_unset_forwarding(struct kvm *kvm, int host_irq)
538 	irq = __vgic_host_irq_get_vlpi(kvm, host_irq);
543 	WARN_ON(irq->hw && irq->host_irq != host_irq);
547 		its_unmap_vlpi(host_irq);