Merge branch 'master' of git://git.kernel.org/pub/scm/linux/kernel/git/pablo/nftables
[cascardo/linux.git] / drivers / clocksource / clksrc-dbx500-prcmu.c
index 77398f8..a9fd4ad 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