ath10k: rename hif_ce_pipe_info to ath10k_pci_pipe
[cascardo/linux.git] / drivers / clocksource / timer-prima2.c
index 7608826..ef3cfb2 100644 (file)
@@ -18,7 +18,7 @@
 #include <linux/of.h>
 #include <linux/of_irq.h>
 #include <linux/of_address.h>
-#include <asm/sched_clock.h>
+#include <linux/sched_clock.h>
 #include <asm/mach/time.h>
 
 #define SIRFSOC_TIMER_COUNTER_LO       0x0000