diff --git a/include/kernel/thread.h b/include/kernel/thread.h
index 70ac18270..acfdb0f24 100644
--- a/include/kernel/thread.h
+++ b/include/kernel/thread.h
@@ -130,16 +130,6 @@ static inline void commitTime(void)
     NODE_STATE(ksConsumed) = 0llu;
 }
 
-static inline void rollbackTime(void)
-{
-    /* it is invalid to rollback time if we
-     * have already acted on the new time */
-    assert(!NODE_STATE(ksReprogram) || NODE_STATE(ksConsumed) == 0);
-
-    NODE_STATE(ksCurTime) -= NODE_STATE(ksConsumed);
-    NODE_STATE(ksConsumed) = 0llu;
-}
-
 static inline bool_t PURE isSchedulable(const tcb_t *thread)
 {
     return isRunnable(thread) &&
diff --git a/src/kernel/thread.c b/src/kernel/thread.c
index a1b2dab51..b7ea97baf 100644
--- a/src/kernel/thread.c
+++ b/src/kernel/thread.c
@@ -345,9 +345,6 @@ static void switchSchedContext(void)
         /* if we are reprogamming, we have acted on the new kernel time and cannot
          * rollback -> charge the current thread */
         commitTime();
-    } else {
-        /* otherwise, we don't need to do anything - avoid reprogramming the timer */
-        rollbackTime();
     }
 
     NODE_STATE(ksCurSC) = NODE_STATE(ksCurThread)->tcbSchedContext;