void __init bcm2708_init_irq(void)
{
	if (of_have_populated_dt())
		irqchip_init();
	else
		armctrl_init(__io_address(ARMCTRL_IC_BASE), 0, 0, 0);
}
void __init bcm2708_init_irq(void)
{
	armctrl_init(__io_address(ARMCTRL_IC_BASE), 0, 0, 0);
}