Add support for clock syscalls

int.h

@@ -33,6 +33,13 @@ typedef uintptr_t size_t;
 typedef uint32_t socklen_t;
 typedef uint32_t pid_t;
 
+typedef long time_t;
+typedef int clockid_t;
+struct timespec {
+  time_t  tv_sec;         /* seconds */
+  long    tv_nsec;        /* nanoseconds */
+};
+
 // Compile time tests in supported compilers
 #ifdef __SIZEOF_SHORT__
 #if __SIZEOF_SHORT__ != 2