From 946a418680df7fbb298016f45c4160d79c18c89c Mon Sep 17 00:00:00 2001
From: rusefi <rusefillc@gmail.com>
Date: Wed, 30 Aug 2023 21:28:56 -0400
Subject: [PATCH] efitick_t

---
 util/include/rusefi/rusefi_time_types.h | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 util/include/rusefi/rusefi_time_types.h

diff --git a/util/include/rusefi/rusefi_time_types.h b/util/include/rusefi/rusefi_time_types.h
new file mode 100644
index 0000000..c729c60
--- /dev/null
+++ b/util/include/rusefi/rusefi_time_types.h
@@ -0,0 +1,5 @@
+/**
+ * platform-dependent tick since boot
+ * in case of stm32f4 that's 32-bit timer ticks (SCHEDULER_TIMER_DEVICE == TIM5) extended to 64 bits
+ */
+using efitick_t = int64_t;