Set a more conservative default.

[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 87bccd1e5a79c57cecb924b3b52cc87fa481375f..20986fc218dafde6570f31606b33bb2f0e187ca3 100644 (file)
--- a/bertos/cpu/arm/drv/timer_at91.h
+++ b/bertos/cpu/arm/drv/timer_at91.h
@@ -40,9 +40,10 @@
 #ifndef DRV_AT91_TIMER_H
 #define DRV_AT91_TIMER_H
 
-#include <appconfig.h>     /* CONFIG_TIMER */
-#include <cfg/compiler.h>  /* uint8_t */
-#include <hw_cpu.h>        /* CLOCK_FREQ */
+#include "hw/hw_cpu.h"            /* CLOCK_FREQ */
+
+#include "cfg/cfg_timer.h"     /* CONFIG_TIMER */
+#include <cfg/compiler.h>      /* uint8_t */
 
 /**
  * \name Values for CONFIG_TIMER.
@@ -68,7 +69,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 (CLOCK_FREQ / 16)
+       #define TIMER_HW_HPTICKS_PER_SEC ((hptime_t)(CLOCK_FREQ / 16))
 
        /// Type of time expressed in ticks of the hardware high-precision timer
        typedef uint32_t hptime_t;