void __init mx35_init_irq(void) { mx31_init_irq(); }
static void __init mx31ads_init_irq(void) { mx31_init_irq(); mx31ads_init_expio(); }