diff options
| -rw-r--r-- | drivers/clocksource/dw_apb_timer_of.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/drivers/clocksource/dw_apb_timer_of.c b/drivers/clocksource/dw_apb_timer_of.c index 44a3b9163c46..8d2f809a0967 100644 --- a/drivers/clocksource/dw_apb_timer_of.c +++ b/drivers/clocksource/dw_apb_timer_of.c @@ -21,7 +21,6 @@ #include <linux/of_address.h> #include <linux/of_irq.h> -#include <asm/mach/time.h> #include <asm/sched_clock.h> static void timer_get_base_and_rate(struct device_node *np, |