From 2b0a0742ccc0809b22b76de8b9749e0db40b83db Mon Sep 17 00:00:00 2001
From: dragonmux <git@dragonmux.network>
Date: Mon, 17 Jul 2023 20:06:02 +0100
Subject: [PATCH] hosted/gdb_if: Added proper handling for formatting
 socket_t's on windows vs everything else

---
 src/platforms/hosted/gdb_if.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/platforms/hosted/gdb_if.c b/src/platforms/hosted/gdb_if.c
index 91081c1c52f..24ccad5b7d5 100644
--- a/src/platforms/hosted/gdb_if.c
+++ b/src/platforms/hosted/gdb_if.c
@@ -33,6 +33,7 @@
 #include <winsock2.h>
 
 typedef SOCKET socket_t;
+#define PRI_SOCKET "zu"
 #ifndef __CYGWIN__
 typedef signed long long ssize_t;
 #endif
@@ -46,6 +47,7 @@ typedef signed long long ssize_t;
 #include <fcntl.h>
 
 typedef int32_t socket_t;
+#define PRI_SOCKET     "d"
 #define INVALID_SOCKET (-1)
 #endif
 
@@ -170,7 +172,7 @@ static void display_socket_error(const int error, const socket_t socket, const c
 #else
 	const char *message = strerror(error);
 #endif
-	DEBUG_ERROR("Error %s %d, got error %d: %s\n", operation, socket, error, message);
+	DEBUG_ERROR("Error %s %" PRI_SOCKET ", got error %d: %s\n", operation, socket, error, message);
 #if defined(_WIN32) || defined(__CYGWIN__)
 	LocalFree(message);
 #endif