+/*
+ * Explicitly mark a timer as executed.
+ *
+ * When a timer is marked as executed, it is inactive until the next
+ * call to synctimer_add().
+ * Normally you shouldn't need to call this function explicitly, as all
+ * timers in this module are designed to stop themselves after a while
+ * (eg. retransmission timer will stop after a few retransmissions).
+ * The only exception is at startup, where you should mark all timers
+ * as executed to avoid spurious events.
+ *
+ * \note We can't rely on REMOVE() of synctimer_poll() since in release mode
+ * it is empty.
+ */
+INLINE void synctimer_executed(Timer *t)
+{
+ memset(&t->link, 0, sizeof(Node));
+}
+
+/*
+ * Test if a timer is active.
+ *
+ * In the general case it should be ATOMIC() and timer.link should always
+ * be memset() to 0.
+ */
+INLINE bool synctimer_active(Timer *t)
+{
+ return !(t->link.pred == NULL && t->link.succ == NULL);
+}