/** Copyright 2003-2006, Axel Dörfler, axeld@pinc-software.de. All rights reserved.* Distributed under the terms of the MIT License.*/#include <sys/time.h>#include <syscalls.h>intgettimeofday(struct timeval *tv, void *tz){if (tv != NULL) {bigtime_t usecs = real_time_clock_usecs();tv->tv_sec = usecs / 1000000;tv->tv_usec = usecs % 1000000;}// struct timezone (tz) has been deprecated since long and its exact// semantics are a bit unclear, so we need not bother to deal with itreturn 0;}