Add asrc, csrc, cxxsrc, cppasrc taken from the cpu definition in the makefile

[bertos.git] / bertos / cpu / arm / drv / timer_at91.h

diff --git a/bertos/cpu/arm/drv/timer_at91.h b/bertos/cpu/arm/drv/timer_at91.h
index 20986fc218dafde6570f31606b33bb2f0e187ca3..aed153925dcc8fe0e22a7a28a63c949a2f06d265 100644 (file)
--- a/bertos/cpu/arm/drv/timer_at91.h
+++ b/bertos/cpu/arm/drv/timer_at91.h
@@ -50,12 +50,11 @@
  *
  * Select which hardware timer interrupt to use for system clock and softtimers.
  *
- * \{
+ * $WIZ$ timer_select = "TIMER_ON_PIT", "TIMER_DEFAULT"
  */
 #define TIMER_ON_PIT 1  ///< System timer on Periodic interval timer
 
 #define TIMER_DEFAULT TIMER_ON_PIT  ///< Default system timer
-/* \} */
 
 /*
  * Hardware dependent timer initialization.
@@ -69,7 +68,7 @@
        #define TIMER_HW_CNT         (CLOCK_FREQ / (16 * TIMER_TICKS_PER_SEC) - 1)
 
        /** Frequency of the hardware high-precision timer. */
-       #define TIMER_HW_HPTICKS_PER_SEC ((hptime_t)(CLOCK_FREQ / 16))
+       #define TIMER_HW_HPTICKS_PER_SEC (CLOCK_FREQ / 16)
 
        /// Type of time expressed in ticks of the hardware high-precision timer
        typedef uint32_t hptime_t;