|
@@ -33,6 +33,7 @@
|
|
|
#include <linux/leds.h>
|
|
|
#include <asm/mach-types.h>
|
|
|
#include <asm/mach/arch.h>
|
|
|
+#include <asm/hardware/gic.h>
|
|
|
|
|
|
#include <plat/i2c.h>
|
|
|
#include <plat/ste_dma40.h>
|
|
@@ -695,6 +696,7 @@ MACHINE_START(U8500, "ST-Ericsson MOP500 platform")
|
|
|
.init_irq = ux500_init_irq,
|
|
|
/* we re-use nomadik timer here */
|
|
|
.timer = &ux500_timer,
|
|
|
+ .handle_irq = gic_handle_irq,
|
|
|
.init_machine = mop500_init_machine,
|
|
|
MACHINE_END
|
|
|
|
|
@@ -703,6 +705,7 @@ MACHINE_START(HREFV60, "ST-Ericsson U8500 Platform HREFv60+")
|
|
|
.map_io = u8500_map_io,
|
|
|
.init_irq = ux500_init_irq,
|
|
|
.timer = &ux500_timer,
|
|
|
+ .handle_irq = gic_handle_irq,
|
|
|
.init_machine = hrefv60_init_machine,
|
|
|
MACHINE_END
|
|
|
|
|
@@ -712,5 +715,6 @@ MACHINE_START(SNOWBALL, "Calao Systems Snowball platform")
|
|
|
.init_irq = ux500_init_irq,
|
|
|
/* we re-use nomadik timer here */
|
|
|
.timer = &ux500_timer,
|
|
|
+ .handle_irq = gic_handle_irq,
|
|
|
.init_machine = snowball_init_machine,
|
|
|
MACHINE_END
|