move typedef timestamp out of public headers

include/splinterdb/platform_linux/public_platform.h

@@ -44,7 +44,6 @@ typedef int32_t       int32;
 typedef uint32_t      uint32;
 typedef int64_t       int64;
 typedef uint64_t      uint64;
-typedef uint64        timestamp;
 typedef uint64        threadid;
 
 typedef int32 bool32;

src/platform_linux/platform_io.h

@@ -14,6 +14,7 @@
 #include "platform_string.h"
 #include "platform_util.h"
 #include "platform_heap.h"
+#include "platform_time.h"
 #include <fcntl.h>
 
 typedef struct io_handle      io_handle;

src/platform_linux/platform_time.h

@@ -9,6 +9,8 @@
 
 #pragma once
 
+typedef uint64 timestamp;
+
 static inline timestamp
 platform_get_timestamp(void)
 {

src/task.h

@@ -8,6 +8,7 @@
 #include "platform_heap.h"
 #include "platform_threads.h"
 #include "platform_condvar.h"
+#include "platform_time.h"
 
 /*
  * We maintain separate task groups for the memtable because memtable