}
 }
 
-static inline u64 timekeeping_debug_get_delta(const struct tk_read_base *tkr)
+static inline u64 timekeeping_cycles_to_ns(const struct tk_read_base *tkr, u64 cycles);
+
+static inline u64 timekeeping_debug_get_ns(const struct tk_read_base *tkr)
 {
        struct timekeeper *tk = &tk_core.timekeeper;
        u64 now, last, mask, max, delta;
         */
        if (unlikely((~delta & mask) < (mask >> 3))) {
                tk->underflow_seen = 1;
-               delta = 0;
+               now = last;
        }
 
        /* Cap delta value to the max_cycles values to avoid mult overflows */
        if (unlikely(delta > max)) {
                tk->overflow_seen = 1;
-               delta = tkr->clock->max_cycles;
+               now = last + max;
        }
 
-       return delta;
+       return timekeeping_cycles_to_ns(tkr, now);
 }
 #else
 static inline void timekeeping_check_update(struct timekeeper *tk, u64 offset)
 {
 }
-static inline u64 timekeeping_debug_get_delta(const struct tk_read_base *tkr)
+static inline u64 timekeeping_debug_get_ns(const struct tk_read_base *tkr)
 {
        BUG();
 }
 static inline u64 timekeeping_get_ns(const struct tk_read_base *tkr)
 {
        if (IS_ENABLED(CONFIG_DEBUG_TIMEKEEPING))
-               return timekeeping_delta_to_ns(tkr, timekeeping_debug_get_delta(tkr));
+               return timekeeping_debug_get_ns(tkr);
 
        return __timekeeping_get_ns(tkr);
 }