/*
 * 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>


int
gettimeofday(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 it

        return 0;
}