-DEPRECATED INLINE time_t timer_gettick_irq(void)
-{
- return timer_ticks_unlocked();
-}
-
-
-/*!
- * Return the minutes passed since timer start.
- *
- * The minutes uptime is computed directly from system tick counter:
- * in case of a 4 bytes time_t after 71582 minutes the value will
- * wrap around.
- */
-INLINE time_t timer_minutes(void)
-{
- return timer_ticks() / (TICKS_PER_SEC * 60);
-}
-