Use timer_clock() instead of obsolete timer_ticks().

[bertos.git] / drv / timer_avr.c

diff --git a/drv/timer_avr.c b/drv/timer_avr.c
index 555d6a809f3684272c1ec4a0c9fd86e62bc6600a..2e9c4574e244faf42a2ea69c9641d702a568cf9a 100755 (executable)
--- a/drv/timer_avr.c
+++ b/drv/timer_avr.c
@@ -1,4 +1,4 @@
-/*!
+/**
  * \file
  * <!--
  * Copyright 2005 Develer S.r.l. (http://www.develer.com/)
@@ -15,6 +15,15 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.4  2006/07/19 12:56:26  bernie
+ *#* Convert to new Doxygen style.
+ *#*
+ *#* Revision 1.3  2006/06/12 21:37:02  marco
+ *#* implemented some commands (ver and sleep)
+ *#*
+ *#* Revision 1.2  2006/05/18 00:37:58  bernie
+ *#* Don't include unneeded header hw.h.
+ *#*
  *#* Revision 1.1  2005/07/19 07:28:36  bernie
  *#* Refactor to decouple timer ticks from milliseconds.
  *#*
@@ -23,14 +32,12 @@
  *#*
  *#*/
 #include <drv/timer_avr.h>
-#include <arch_config.h> // ARCH_BOARD_KC
 #include <cfg/macros.h> // BV()
-#include <hw.h>
 
-#include <avr/signal.h>
+#include <avr/interrupt.h>
 #include <avr/io.h>
 
-/*! HW dependent timer initialization  */
+/** HW dependent timer initialization  */
 #if (CONFIG_TIMER == TIMER_ON_OUTPUT_COMPARE0)
 
        static void timer_hw_init(void)