X-Git-Url: http://pileus.org/git/?a=blobdiff_plain;f=drivers%2Fclocksource%2Fclksrc-dbx500-prcmu.c;h=a9fd4ad2567426228c34a5910bf457a6a4bb584a;hb=0b038566c0ea9f8daceae879bb7ad748ab8c95f0;hp=77398f8c19a0b576e0f3deb1d212337ee437cad4;hpb=2cb7b5a38c45b48e9ffb8b382c675a4d64ecccde;p=~andy%2Flinux

diff --git a/drivers/clocksource/clksrc-dbx500-prcmu.c b/drivers/clocksource/clksrc-dbx500-prcmu.c
index 77398f8c19a..a9fd4ad2567 100644
--- a/drivers/clocksource/clksrc-dbx500-prcmu.c
+++ b/drivers/clocksource/clksrc-dbx500-prcmu.c
@@ -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