+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);
+}