/*
 * Copyright 2012-2021, Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 *
 * Authors:
 *              François Revol <revol@free.fr>
 */

#include <OS.h>

#include <arch_cpu.h>
#include <arch_cpu_defs.h>
#include <libroot_private.h>
#include <real_time_data.h>

#ifdef _KERNEL_MODE
#include <KernelExport.h>
#endif


static uint64_t cv_factor = 0;


extern "C" void
__riscv64_setup_system_time(uint64 cv)
{
        cv_factor = cv;
}


[[gnu::optimize("omit-frame-pointer")]] bigtime_t
system_time()
{
        __uint128_t time = static_cast<__uint128_t>(CpuTime()) * cv_factor;
        return time >> 32;
}