Symbol: econet_intc_handle_pending
drivers/irqchip/irq-econet-en751221.c
146
econet_intc_handle_pending(domain, pending0, 0);
drivers/irqchip/irq-econet-en751221.c
147
econet_intc_handle_pending(domain, pending1, 32);