From 1aa8534055b68c28fdc8f80d50f083c374ce9e71 Mon Sep 17 00:00:00 2001
From: Gunar Schorcht <gunar@schorcht.net>
Date: Sun, 2 Mar 2025 12:17:07 +0100
Subject: [PATCH] cpu/esp32: fix return type of system_get_time_64

---
 cpu/esp32/include/syscalls.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpu/esp32/include/syscalls.h b/cpu/esp32/include/syscalls.h
index 6d8362d0f6..436bcece05 100644
--- a/cpu/esp32/include/syscalls.h
+++ b/cpu/esp32/include/syscalls.h
@@ -27,7 +27,7 @@ extern "C" {
 #endif
 
 /** Time since boot in us (64bit version) */
-int64_t system_get_time_64 (void);
+uint64_t system_get_time_64 (void);
 
 /** initialize system watchdog timer and start it */
 void system_wdt_init (void);