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
12extern void clps711x_map_io(void);
13extern void clps711x_init_irq(void);
14extern void clps711x_timer_init(void);
15extern void clps711x_restart(enum reboot_mode mode, const char *cmd);
16
17/* drivers/irqchip/irq-clps711x.c */
18void clps711x_intc_init(phys_addr_t, resource_size_t);
19/* drivers/clk/clk-clps711x.c */
20void clps711x_clk_init(void __iomem *base);
21/* drivers/clocksource/clps711x-timer.c */
22void clps711x_clksrc_init(void __iomem *tc1_base, void __iomem *tc2_base,
23			  unsigned int irq);
24