fixup! Benchmark: emulate clock_gettime(2) on Windows

test/gettime_win.c

@@ -19,14 +19,14 @@ xgetfiletime (void)
 	// Return the current time in UTC as a 64-bit value representing the
 	// number of 100-nanosecond intervals since January 1, 1601.
 	GetSystemTimePreciseAsFileTime(&current_time_ft);
-	current_time.LowPart = current_time_ft.dwLowDateTime;
+	current_time.LowPart  = current_time_ft.dwLowDateTime;
 	current_time.HighPart = current_time_ft.dwHighDateTime;
 
 	return current_time;
 }
 
 static int
-clock_gettime (clock_t id, struct timespec* ts)
+clock_gettime (const int id, struct timespec* ts)
 {
 	if (id != CLOCK_REALTIME) {
 		return -1;
@@ -35,7 +35,7 @@ clock_gettime (clock_t id, struct timespec* ts)
 	ULARGE_INTEGER current_time = xgetfiletime();
 
 	// Time from Epoch to now.
-	ts->tv_sec = (current_time.QuadPart - UNIX_EPOCH) / 10000000;
+	ts->tv_sec  = (current_time.QuadPart - UNIX_EPOCH) / 10000000;
 	ts->tv_nsec = ((current_time.QuadPart - UNIX_EPOCH) % 10000000) * 100;
 
 	return 0;