diff --git a/drivers/clocksource/timer-prima2.c b/drivers/clocksource/timer-prima2.c
index dae8a66301d7d6d8d812e79552846c199fe2d17d..c32148ec7a384dc58921c40515786491033ff5e8 100644
--- a/drivers/clocksource/timer-prima2.c
+++ b/drivers/clocksource/timer-prima2.c
@@ -19,7 +19,6 @@
 #include <linux/of_irq.h>
 #include <linux/of_address.h>
 #include <linux/sched_clock.h>
-#include <asm/mach/time.h>
 
 #define PRIMA2_CLOCK_FREQ 1000000