|
@@ -52,17 +52,7 @@ void ux500_restart(enum reboot_mode mode, const char *cmd)
|
|
|
*/
|
|
|
void __init ux500_init_irq(void)
|
|
|
{
|
|
|
- void __iomem *dist_base;
|
|
|
- void __iomem *cpu_base;
|
|
|
-
|
|
|
gic_arch_extn.flags = IRQCHIP_SKIP_SET_WAKE | IRQCHIP_MASK_ON_SUSPEND;
|
|
|
-
|
|
|
- if (cpu_is_u8500_family() || cpu_is_ux540_family()) {
|
|
|
- dist_base = __io_address(U8500_GIC_DIST_BASE);
|
|
|
- cpu_base = __io_address(U8500_GIC_CPU_BASE);
|
|
|
- } else
|
|
|
- ux500_unknown_soc();
|
|
|
-
|
|
|
irqchip_init();
|
|
|
|
|
|
/*
|