X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fcpu%2Farm%2Fdrv%2Ftimer_at91.h;h=20986fc218dafde6570f31606b33bb2f0e187ca3;hb=83a14d70fb15fdf5747f7011dd914701ebe51b06;hp=87bccd1e5a79c57cecb924b3b52cc87fa481375f;hpb=345f93de1963f49bdb194d2b06c8c5d7ba0a3e5f;p=bertos.git

diff --git a/bertos/cpu/arm/drv/timer_at91.h b/bertos/cpu/arm/drv/timer_at91.h
index 87bccd1e..20986fc2 100644
--- 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;