X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;ds=sidebyside;f=os%2Fhptime.h;h=9d9336ed3657eb9ff90c3547c5a34bf9d2510185;hb=6c1e871a96baf4245a04f0135d00fbea59af041c;hp=e5ec70d8ec2d2151d87fef16527bf9f1ccfa6abe;hpb=e03ad3b5d0a49438562e2af06ce95d3959c4ce0f;p=bertos.git

diff --git a/os/hptime.h b/os/hptime.h
index e5ec70d8..9d9336ed 100755
--- a/os/hptime.h
+++ b/os/hptime.h
@@ -7,12 +7,17 @@
  *
  * \brief Portable abstraction for high-resolution time handling (interface)
  *
- * \version $Id$
  * \author Bernardo Innocenti <bernie@develer.com>
  */
 #ifndef HPTIME_H
 #define HPTIME_H
 
+/* sparse? */
+#ifdef __CHECKER__
+	/* Any random OS would do */
+	#define __unix__
+#endif
+
 #ifdef __cplusplus
 extern "C" {
 #endif /* __cplusplus */
@@ -30,6 +35,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;