Fix bug in randpool_init.

[bertos.git] / os / hptime.h

diff --git a/os/hptime.h b/os/hptime.h
index e5ec70d8ec2d2151d87fef16527bf9f1ccfa6abe..99b66339080f001e0596b5fb484ecb849cecdf24 100755 (executable)
--- a/os/hptime.h
+++ b/os/hptime.h
@@ -30,6 +30,13 @@ extern "C" {
 
        #include <stdint.h> /* int64_t */
 
+       #ifndef DEVLIB_MTIME_DEFINED
+               #define DEVLIB_MTIME_DEFINED 1 /* Resolve conflict with <cfg/compiler.h> */
+               typedef int32_t mtime_t;
+               #define SIZEOF_MTIME_T (32 / CPU_BITS_PER_CHAR)
+               #define MTIME_INFINITE 0x7FFFFFFFL
+       #endif
+
        /** Type for "high precision absolute time". */
        typedef int64_t hptime_t;