diff --git a/include/clocksource/arm_arch_timer.h b/include/clocksource/arm_arch_timer.h
index b61f9961b0cc1e377f5d079899ba3d97f89d1468..2603267b1a29282f10ef96a2203654fc44b75b98 100644
--- a/include/clocksource/arm_arch_timer.h
+++ b/include/clocksource/arm_arch_timer.h
@@ -53,7 +53,7 @@ static inline u64 arch_timer_read_counter(void)
 	return 0;
 }
 
-static struct timecounter *arch_timer_get_timecounter(void)
+static inline struct timecounter *arch_timer_get_timecounter(void)
 {
 	return NULL;
 }