2 * linux/arch/arm/mach-clps711x/common.h
7 #include <linux/reboot.h>
9 #define CLPS711X_NR_GPIO (4 * 8 + 3)
10 #define CLPS711X_GPIO(prt, bit) ((prt) * 8 + (bit))
12 extern void clps711x_map_io(void);
13 extern void clps711x_init_irq(void);
14 extern void clps711x_timer_init(void);
15 extern void clps711x_restart(enum reboot_mode mode
, const char *cmd
);
17 /* drivers/irqchip/irq-clps711x.c */
18 void clps711x_intc_init(phys_addr_t
, resource_size_t
);
19 /* drivers/clk/clk-clps711x.c */
20 void clps711x_clk_init(void __iomem
*base
);
21 /* drivers/clocksource/clps711x-timer.c */
22 void clps711x_clksrc_init(void __iomem
*tc1_base
, void __iomem
*tc2_base
,