-
-/*!
- * Return the minutes passed since timer start.
- *
- * The uptime in minutes is computed directly from system tick counter.
- * This value wraps around every 71582 minutes with a 32bit time_t.
- */
-INLINE time_t timer_minutes(void)
-{
- return timer_ticks() / (TICKS_PER_SEC * 60);
-}
-