|
@@ -30,6 +30,11 @@
|
|
|
#include <mach/board.h>
|
|
|
#include "generic.h"
|
|
|
|
|
|
+static void __init at91eb01_init_irq(void)
|
|
|
+{
|
|
|
+ at91x40_init_interrupts(NULL);
|
|
|
+}
|
|
|
+
|
|
|
static void __init at91eb01_map_io(void)
|
|
|
{
|
|
|
at91x40_initialize(40000000);
|
|
@@ -38,7 +43,7 @@ static void __init at91eb01_map_io(void)
|
|
|
MACHINE_START(AT91EB01, "Atmel AT91 EB01")
|
|
|
/* Maintainer: Greg Ungerer <gerg@snapgear.com> */
|
|
|
.timer = &at91x40_timer,
|
|
|
- .init_irq = at91x40_init_interrupts,
|
|
|
+ .init_irq = at91eb01_init_irq,
|
|
|
.map_io = at91eb01_map_io,
|
|
|
MACHINE_END
|
|
|
|