icoll_add_domain  203 drivers/irqchip/irq-mxs.c 	icoll_add_domain(np, ICOLL_NUM_IRQS);
icoll_add_domain  234 drivers/irqchip/irq-mxs.c 	icoll_add_domain(np, ASM9260_NUM_IRQS);