| .. | .. |
|---|
| 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; |
|---|