Vari fix per documentazione e commenti

[bertos.git] / drv / timer.h

diff --git a/drv/timer.h b/drv/timer.h
index da5a5d1c87ec3e544f7165c44eefa80918c861c9..07147416e1eaaf9f831b702aa737b1dd18abc0d4 100755 (executable)
--- a/drv/timer.h
+++ b/drv/timer.h
@@ -15,6 +15,13 @@
 
 /*
  * $Log$
+ * Revision 1.12  2004/07/30 14:34:10  rasky
+ * Vari fix per documentazione e commenti
+ * Aggiunte PP_CATn e STATIC_ASSERT
+ *
+ * Revision 1.11  2004/07/29 22:40:12  bernie
+ * Spelling fix.
+ *
  * Revision 1.10  2004/07/21 00:13:57  bernie
  * Put timer driver on diet.
  *
@@ -51,6 +58,7 @@
 
 #include "cpu.h"
 #include "compiler.h"
+#include <config.h>
 #include <mware/list.h>
 
 /*! Number of timer ticks per second. */
@@ -74,7 +82,7 @@ extern void timer_udelay(utime_t utime);
 #endif
 
 /*!
- * The timer driver supports multiple ssynchronous timers
+ * The timer driver supports multiple synchronous timers
  * that can trigger an event when they expire.
  *
  * \sa timer_add()
@@ -125,14 +133,14 @@ extern volatile time_t _clock;
  *
  * The following code is safe:
  *
- * \example
+ * \code
  *   time_t tea_start_time = get_tick();
  *
  *   boil_water();
  *
  *   if (get_tick() - tea_start_time > TEAPOT_DELAY)
  *       printf("Your tea, Sir.\n");
- * \endexample
+ * \endcode
  *
  * When the tick counter increments every millisecond and time_t
  * is 32bit wide, the tick count will overflow every 49.7 days.