__init_i8259_irqs  333 drivers/irqchip/irq-i8259.c 	__init_i8259_irqs(NULL);
__init_i8259_irqs  354 drivers/irqchip/irq-i8259.c 	domain = __init_i8259_irqs(node);