--- zzzz-none-000/linux-2.6.39.4/include/asm-generic/timex.h	2011-08-03 19:43:28.000000000 +0000
+++ puma6-arm-6490-729/linux-2.6.39.4/include/asm-generic/timex.h	2021-11-10 13:23:10.000000000 +0000
@@ -5,12 +5,23 @@
  * If you have a cycle counter, return the value here.
  */
 typedef unsigned long cycles_t;
+
+#if defined(CONFIG_ARCH_PUMA5) && defined(CONFIG_HIGH_RES_TIMERS)
+
+extern cycles_t get_puma_cpu_cycles(void);
+
+static inline cycles_t get_cycles(void) {
+	return get_puma_cpu_cycles();
+}
+
+#else 
 #ifndef get_cycles
 static inline cycles_t get_cycles(void)
 {
 	return 0;
 }
 #endif
+#endif
 
 /*
  * Architectures are encouraged to implement read_current_timer