Fix error on short hptime_t CPU.

[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 54ba6e37f37f6d693e981b5693aba5954b161eb5..8666893c93fc8e12a1cc4abb48b1f9ee927f40eb 100644 (file)
--- a/bertos/cpu/arm/drv/timer_at91.h
+++ b/bertos/cpu/arm/drv/timer_at91.h
@@ -75,6 +75,7 @@
 
        /** Type of time expressed in ticks of the hardware high-precision timer */
        typedef uint32_t hptime_t;
+       #define SIZEOF_HPTIME_T 4
 
        INLINE void timer_hw_irq(void)
        {