+ * Revision 1.13 2004/08/10 06:59:09 bernie
+ * timer_gettick(): Rename to timer_ticks() and add backwards compatibility inline.
+ *
+ * Revision 1.12 2004/08/08 05:59:37 bernie
+ * Remove a few useless casts.
+ *
+ * Revision 1.11 2004/08/02 20:20:29 aleph
+ * Merge from project_ks
+ *
+ * Revision 1.10 2004/07/30 14:15:53 rasky
+ * Nuovo supporto unificato per detect della CPU
+ *
+ * Revision 1.9 2004/07/21 00:15:13 bernie
+ * Put timer driver on diet.
+ *
+ * Revision 1.8 2004/07/18 21:57:07 bernie