1 /* 2 * linux/arch/arm/mach-clps711x/common.h 3 * 4 * Common bits. 5 */ 6 7 #include <linux/reboot.h> 8 9 #define CLPS711X_NR_GPIO (4 * 8 + 3) 10 #define CLPS711X_GPIO(prt, bit) ((prt) * 8 + (bit)) 11 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); 16 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, 23 unsigned int irq); 24