|
@@ -140,6 +140,7 @@ DT_MACHINE_START(HIGHBANK, "Highbank")
|
|
.map_io = highbank_map_io,
|
|
.map_io = highbank_map_io,
|
|
.init_irq = highbank_init_irq,
|
|
.init_irq = highbank_init_irq,
|
|
.timer = &highbank_timer,
|
|
.timer = &highbank_timer,
|
|
|
|
+ .handle_irq = gic_handle_irq,
|
|
.init_machine = highbank_init,
|
|
.init_machine = highbank_init,
|
|
.dt_compat = highbank_match,
|
|
.dt_compat = highbank_match,
|
|
MACHINE_END
|
|
MACHINE_END
|