1/*
2 * Copyright 2018, Haiku, Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5
6#include <OS.h>
7#include <compat/sys/kernel.h>
8#include <compat/sys/time.h>
9
10
11int32_t
12_get_ticks()
13{
14	return USEC_2_TICKS(system_time());
15}
16
17
18void
19getmicrouptime(struct timeval *tvp)
20{
21	bigtime_t usecs = system_time();
22	tvp->tv_sec = usecs / 1000000;
23	tvp->tv_usec = usecs % 1000000;
24}
25