static void __init ek_init_irq(void) { at91sam9260_init_interrupts(NULL); }
static void __init cpu9krea_init_irq(void) { at91sam9260_init_interrupts(NULL); }
static void __init ek_init_irq(void) { at91sam9260_init_interrupts(NULL); }
static void __init cpu9krea_init_irq(void) { at91sam9260_init_interrupts(NULL); }