Symbol: irq_domain_push_irq
arch/arm64/kvm/arch_timer.c
1355
WARN_ON(irq_domain_push_irq(domain, host_vtimer_irq,
arch/arm64/kvm/arch_timer.c
1364
WARN_ON(irq_domain_push_irq(domain, host_ptimer_irq,
drivers/gpio/gpio-thunderx.c
561
err = irq_domain_push_irq(girq->domain,
include/linux/irqdomain.h
637
int irq_domain_push_irq(struct irq_domain *domain, int virq, void *arg);
kernel/irq/irqdomain.c
1819
EXPORT_SYMBOL_GPL(irq_domain_push_irq);