+#ifdef CONFIG_TIMER
+static int notrace dm_timer_init(void)
+{
+ struct udevice *dev;
+ int ret;
+
+ if (!gd->timer) {
+ ret = uclass_first_device(UCLASS_TIMER, &dev);
+ if (ret)
+ return ret;
+ if (!dev)
+ return -ENODEV;
+ gd->timer = dev;
+ }
+
+ return 0;
+}
+
+ulong notrace get_tbclk(void)
+{
+ int ret;
+
+ ret = dm_timer_init();
+ if (ret)
+ return ret;
+
+ return timer_get_rate(gd->timer);
+}
+
+unsigned long notrace timer_read_counter(void)
+{
+ unsigned long count;
+ int ret;
+
+ ret = dm_timer_init();
+ if (ret)
+ return ret;
+
+ ret = timer_get_count(gd->timer, &count);
+ if (ret)
+ return ret;
+
+ return count;
+}
+#endif /* CONFIG_TIMER */
+
+uint64_t __weak notrace get_ticks(void)