contiki-os/contiki — pull request #838 by lebrush (2014-10-27 11:11:07+00:00)
Title: rtimer: allow re-schedule if same timer

In the default implementation allow rescheduling the current timer. This can happen before the previous schedule expired.

Disclaimer: I'm not sure if the way it was implemented was meant to be interrupt safe...