}
 }
 
-static inline u64 timekeeping_get_delta(const struct tk_read_base *tkr)
+static inline u64 timekeeping_debug_get_delta(const struct tk_read_base *tkr)
 {
        struct timekeeper *tk = &tk_core.timekeeper;
        u64 now, last, mask, max, delta;
 static inline void timekeeping_check_update(struct timekeeper *tk, u64 offset)
 {
 }
-static inline u64 timekeeping_get_delta(const struct tk_read_base *tkr)
+static inline u64 timekeeping_debug_get_delta(const struct tk_read_base *tkr)
 {
-       u64 cycle_now, delta;
-
-       /* read clocksource */
-       cycle_now = tk_clock_read(tkr);
-
-       /* calculate the delta since the last update_wall_time */
-       delta = clocksource_delta(cycle_now, tkr->cycle_last, tkr->mask);
-
-       return delta;
+       BUG();
 }
 #endif
 
 
 static inline u64 timekeeping_get_ns(const struct tk_read_base *tkr)
 {
-       u64 delta;
+       if (IS_ENABLED(CONFIG_DEBUG_TIMEKEEPING))
+               return timekeeping_delta_to_ns(tkr, timekeeping_debug_get_delta(tkr));
 
-       delta = timekeeping_get_delta(tkr);
-       return timekeeping_delta_to_ns(tkr, delta);
+       return __timekeeping_get_ns(tkr);
 }
 
 /**