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); }