+ * Revision 1.15 2004/08/10 06:59:09 bernie
+ * timer_gettick(): Rename to timer_ticks() and add backwards compatibility inline.
+ *
+ * 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.
+ *
+ * Revision 1.9 2004/07/20 23:45:01 bernie
+ * Finally remove redundant protos.
+ *