armctrl_of_init   180 drivers/irqchip/irq-bcm2835.c 	return armctrl_of_init(node, parent, false);
armctrl_of_init   186 drivers/irqchip/irq-bcm2835.c 	return armctrl_of_init(node, parent, true);