hc
2024-12-19 9370bb92b2d16684ee45cf24e879c93c509162da
kernel/arch/arm/mach-davinci/include/mach/common.h
....@@ -17,25 +17,10 @@
1717 #include <linux/types.h>
1818 #include <linux/reboot.h>
1919
20
-void davinci_timer_init(struct clk *clk);
20
+#include <asm/irq.h>
2121
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))
3924
4025 struct davinci_gpio_controller;
4126
....@@ -57,12 +42,6 @@
5742 u32 pinmux_base;
5843 const struct mux_config *pinmux_pins;
5944 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;
6645 int gpio_type;
6746 u32 gpio_base;
6847 unsigned gpio_num;