]> Pileus Git - ~andy/linux/blobdiff - drivers/clocksource/clksrc-dbx500-prcmu.c
Merge branch 'sched-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel...
[~andy/linux] / drivers / clocksource / clksrc-dbx500-prcmu.c
index 77398f8c19a0b576e0f3deb1d212337ee437cad4..a9fd4ad2567426228c34a5910bf457a6a4bb584a 100644 (file)
@@ -14,8 +14,7 @@
  */
 #include <linux/clockchips.h>
 #include <linux/clksrc-dbx500-prcmu.h>
-
-#include <asm/sched_clock.h>
+#include <linux/sched_clock.h>
 
 #define RATE_32K               32768