|
@@ -112,6 +112,7 @@ static const char *xilinx_dt_match[] = {
|
|
|
MACHINE_START(XILINX_EP107, "Xilinx Zynq Platform")
|
|
|
.map_io = xilinx_map_io,
|
|
|
.init_irq = xilinx_irq_init,
|
|
|
+ .handle_irq = gic_handle_irq,
|
|
|
.init_machine = xilinx_init_machine,
|
|
|
.timer = &xttcpss_sys_timer,
|
|
|
.dt_compat = xilinx_dt_match,
|