|
@@ -8,20 +8,14 @@
|
|
|
* All enquiries to support@picochip.com
|
|
|
*/
|
|
|
#include <linux/delay.h>
|
|
|
-#include <linux/irq.h>
|
|
|
-#include <linux/irqchip.h>
|
|
|
-#include <linux/irqdomain.h>
|
|
|
#include <linux/of.h>
|
|
|
#include <linux/of_address.h>
|
|
|
-#include <linux/of_irq.h>
|
|
|
#include <linux/of_platform.h>
|
|
|
#include <linux/dw_apb_timer.h>
|
|
|
|
|
|
#include <asm/mach/arch.h>
|
|
|
#include <asm/mach/map.h>
|
|
|
|
|
|
-#include "common.h"
|
|
|
-
|
|
|
#define PHYS_TO_IO(x) (((x) & 0x00ffffff) | 0xfe000000)
|
|
|
#define PICOXCELL_PERIPH_BASE 0x80000000
|
|
|
#define PICOXCELL_PERIPH_LENGTH SZ_4M
|
|
@@ -87,7 +81,6 @@ static void picoxcell_wdt_restart(char mode, const char *cmd)
|
|
|
DT_MACHINE_START(PICOXCELL, "Picochip picoXcell")
|
|
|
.map_io = picoxcell_map_io,
|
|
|
.nr_irqs = NR_IRQS_LEGACY,
|
|
|
- .init_irq = irqchip_init,
|
|
|
.init_time = dw_apb_timer_init,
|
|
|
.init_machine = picoxcell_init_machine,
|
|
|
.dt_compat = picoxcell_dt_match,
|