sched_clock: Make ARM's sched_clock generic for all architectures
[pandora-kernel.git] / arch / arm / mach-davinci / time.c
index bad361e..7a55b5c 100644 (file)
@@ -18,8 +18,8 @@
 #include <linux/clk.h>
 #include <linux/err.h>
 #include <linux/platform_device.h>
+#include <linux/sched_clock.h>
 
-#include <asm/sched_clock.h>
 #include <asm/mach/irq.h>
 #include <asm/mach/time.h>