.. | .. |
---|
17 | 17 | #include <linux/types.h> |
---|
18 | 18 | #include <linux/reboot.h> |
---|
19 | 19 | |
---|
20 | | -void davinci_timer_init(struct clk *clk); |
---|
| 20 | +#include <asm/irq.h> |
---|
21 | 21 | |
---|
22 | | -extern void davinci_irq_init(void); |
---|
23 | | -extern void __iomem *davinci_intc_base; |
---|
24 | | -extern int davinci_intc_type; |
---|
25 | | - |
---|
26 | | -struct davinci_timer_instance { |
---|
27 | | - u32 base; |
---|
28 | | - u32 bottom_irq; |
---|
29 | | - u32 top_irq; |
---|
30 | | - unsigned long cmp_off; |
---|
31 | | - unsigned int cmp_irq; |
---|
32 | | -}; |
---|
33 | | - |
---|
34 | | -struct davinci_timer_info { |
---|
35 | | - struct davinci_timer_instance *timers; |
---|
36 | | - unsigned int clockevent_id; |
---|
37 | | - unsigned int clocksource_id; |
---|
38 | | -}; |
---|
| 22 | +#define DAVINCI_INTC_START NR_IRQS |
---|
| 23 | +#define DAVINCI_INTC_IRQ(_irqnum) (DAVINCI_INTC_START + (_irqnum)) |
---|
39 | 24 | |
---|
40 | 25 | struct davinci_gpio_controller; |
---|
41 | 26 | |
---|
.. | .. |
---|
57 | 42 | u32 pinmux_base; |
---|
58 | 43 | const struct mux_config *pinmux_pins; |
---|
59 | 44 | unsigned long pinmux_pins_num; |
---|
60 | | - u32 intc_base; |
---|
61 | | - int intc_type; |
---|
62 | | - u8 *intc_irq_prios; |
---|
63 | | - unsigned long intc_irq_num; |
---|
64 | | - u32 *intc_host_map; |
---|
65 | | - struct davinci_timer_info *timer_info; |
---|
66 | 45 | int gpio_type; |
---|
67 | 46 | u32 gpio_base; |
---|
68 | 47 | unsigned gpio_num; |
---|