clocksource: dw_apb: Remove unused header
authorBaruch Siach <[email protected]>
Sun, 26 May 2013 12:12:46 +0000 (15:12 +0300)
committerJohn Stultz <[email protected]>
Tue, 28 May 2013 21:00:58 +0000 (14:00 -0700)
The time.h header seems not to be used by current code.
Removing this include allows the driver to build on other
architecture that do not have this header.

Cc: Ingo Molnar <[email protected]>
Cc: Peter Zijlstra <[email protected]>
Cc: John Stultz <[email protected]>
Cc: Thomas Gleixner <[email protected]>
Cc: Jamie Iles <[email protected]>
Cc: Dinh Nguyen <[email protected]>
Acked-by: Jamie Iles <[email protected]>
Signed-off-by: Baruch Siach <[email protected]>
[tweaked commit message and header]
Signed-off-by: John Stultz <[email protected]>
drivers/clocksource/dw_apb_timer_of.c

index 44a3b9163c46be0d5fecd8c0a83fa173c194882b..8d2f809a09677a7eacbfecad41ab76d3524e2b2b 100644 (file)
@@ -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,