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 c6979f9519d15b875a212f1d7fa8857986f99fb6..20986fc218dafde6570f31606b33bb2f0e187ca3 100644 (file)
--- a/bertos/cpu/arm/drv/timer_at91.h
+++ b/bertos/cpu/arm/drv/timer_at91.h
@@ -40,9 +40,9 @@
 #ifndef DRV_AT91_TIMER_H
 #define DRV_AT91_TIMER_H
 
-#include "hw_cpu.h"            /* CLOCK_FREQ */
+#include "hw/hw_cpu.h"            /* CLOCK_FREQ */
 
-#include <cfg/cfg_timer.h>     /* CONFIG_TIMER */
+#include "cfg/cfg_timer.h"     /* CONFIG_TIMER */
 #include <cfg/compiler.h>      /* uint8_t */
 
 /**
@@ -69,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;