do_domain_IRQ
extern void do_domain_IRQ(struct irq_domain *domain, unsigned int irq);
do_domain_IRQ(econet_intc.domain, irq); \
do_domain_IRQ(econet_intc.ipi_domain, 0);
do_domain_IRQ(econet_intc.ipi_domain, 1);
do_domain_IRQ(d, irq);
do_domain_IRQ(gic_irq_domain,
do_domain_IRQ(gic_irq_domain,
do_domain_IRQ(evic_irq_domain, hwirq);