X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.c;h=aa671dc4d9423e8f50c0008ffc237212ec58a9e5;hb=42e61240ce8a55e92fe0942fecbee3abe371c507;hp=808a6a7fba25fa24d59b5d955ae760fb70ef992f;hpb=9c41a52cad9f3a8e7c7ec1c29f8722c722d4698d;p=bertos.git diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c index 808a6a7f..aa671dc4 100644 --- a/bertos/drv/timer.c +++ b/bertos/drv/timer.c @@ -27,14 +27,14 @@ * the GNU General Public License. * * Copyright 2003, 2004, 2005, 2006 Develer S.r.l. (http://www.develer.com/) - * Copyright 2000 Bernardo Innocenti + * Copyright 2000 Bernie Innocenti * * --> * * \brief Hardware independent timer driver (implementation) * * \version $Id$ - * \author Bernardo Innocenti + * \author Bernie Innocenti */ #include "timer.h" @@ -163,7 +163,9 @@ void timer_add(Timer *timer) /** - * Remove a timer from the timer queue before it has expired. + * Remove a timer from the timers queue before it has expired. + * \note Attempting to remove a timer already expired cause + * undefined behaviour. */ Timer *timer_abort(Timer *timer) {