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

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