+DECLARE_GLOBAL_DATA_PTR;
+
+#ifdef CONFIG_SYS_TIMER_RATE
+/* Returns tick rate in ticks per second */
+ulong notrace get_tbclk(void)
+{
+ return CONFIG_SYS_TIMER_RATE;
+}
+#endif
+
+#ifdef CONFIG_SYS_TIMER_COUNTER
+unsigned long notrace timer_read_counter(void)
+{
+#ifdef CONFIG_SYS_TIMER_COUNTS_DOWN
+ return ~readl(CONFIG_SYS_TIMER_COUNTER);
+#else
+ return readl(CONFIG_SYS_TIMER_COUNTER);
+#endif
+}
+#else
+extern unsigned long __weak timer_read_counter(void);
+#endif
+
+uint64_t __weak notrace get_ticks(void)
+{
+ unsigned long now = timer_read_counter();
+
+ /* increment tbu if tbl has rolled over */
+ if (now < gd->timebase_l)
+ gd->timebase_h++;
+ gd->timebase_l = now;
+ return ((uint64_t)gd->timebase_h << 32) | gd->timebase_l;
+}
+
+/* Returns time in milliseconds */
+static uint64_t notrace tick_to_time(uint64_t tick)
+{
+ ulong div = get_tbclk();
+
+ tick *= CONFIG_SYS_HZ;
+ do_div(tick, div);
+ return tick;
+}
+
+int __weak timer_init(void)
+{
+ return 0;
+}
+
+/* Returns time in milliseconds */
+ulong __weak get_timer(ulong base)
+{
+ return tick_to_time(get_ticks()) - base;
+}
+
+unsigned long __weak notrace timer_get_us(void)
+{
+ return tick_to_time(get_ticks() * 1000);
+}
+
+static uint64_t usec_to_tick(unsigned long usec)
+{
+ uint64_t tick = usec;
+ tick *= get_tbclk();
+ do_div(tick, 1000000);
+ return tick;
+}
+
+void __weak __udelay(unsigned long usec)
+{
+ uint64_t tmp;
+
+ tmp = get_ticks() + usec_to_tick(usec); /* get current timestamp */
+
+ while (get_ticks() < tmp+1) /* loop till event */
+ /*NOP*/;
+}
+