/*
 * Copyright 2018, Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 */

#include <OS.h>
#include <compat/sys/kernel.h>
#include <compat/sys/time.h>


int32_t
_get_ticks()
{
        return USEC_2_TICKS(system_time());
}


void
getmicrouptime(struct timeval *tvp)
{
        bigtime_t usecs = system_time();
        tvp->tv_sec = usecs / 1000000;
        tvp->tv_usec = usecs % 1000000;
}