Add RT_TICK_USING_64BIT Kconfig option for configure sizeof rt_tick_t

Signed-off-by: Yonggang Luo <[email protected]>

Author: CYFS3

include/rtdef.h

@@ -106,7 +106,11 @@ extern "C" {
 #define RT_UINT64_MAX                   0xFFFFFFFFFFFFFFFFULL /**< Maximum number of UINT64 */
 #endif /* RT_USING_LIBC */
 
+#ifdef RT_TICK_USING_64BIT
+#define RT_TICK_MAX                     RT_UINT64_MAX   /**< Maximum number of tick */
+#else
 #define RT_TICK_MAX                     RT_UINT32_MAX   /**< Maximum number of tick */
+#endif /* RT_TICK_USING_64BIT */
 
 /* maximum value of ipc type */
 #define RT_SEM_VALUE_MAX                RT_UINT16_MAX   /**< Maximum number of semaphore .value */

include/rttypes.h

@@ -89,7 +89,13 @@ typedef rt_ubase_t                       rt_uintptr_t;   /**< Type for unsigned
 
 typedef rt_base_t                       rt_err_t;       /**< Type for error number */
 typedef rt_uint32_t                     rt_time_t;      /**< Type for time stamp */
+
+#ifdef RT_TICK_USING_64BIT
+typedef rt_uint64_t                     rt_tick_t;      /**< Type for tick count */
+#else
 typedef rt_uint32_t                     rt_tick_t;      /**< Type for tick count */
+#endif /* RT_TICK_USING_64BIT */
+
 typedef rt_base_t                       rt_flag_t;      /**< Type for flags */
 typedef rt_ubase_t                      rt_dev_t;       /**< Type for device */
 typedef rt_base_t                       rt_off_t;       /**< Type for offset */

src/Kconfig

@@ -116,6 +116,12 @@ config RT_TICK_PER_SECOND
     help
         System's tick frequency, Hz.
 
+config RT_TICK_USING_64BIT
+    bool "Using 64-bit integer for rt_tick_t"
+    default n
+    help
+        Using long long as tick unit, this is useful when the tick frequency is very high or long running device.
+
 config RT_USING_OVERFLOW_CHECK
     bool "Using stack overflow checking"
     default y if RT_USING_DEBUG