/*
 * Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>.
 * All rights reserved. Distributed under the terms of the MIT License.
 */

#include <OS.h>

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


static vint32 *sConversionFactor;

void
__m68k_setup_system_time(vint32 *cvFactor)
{
        sConversionFactor = cvFactor;
}


//XXX: this is a hack
// remove me when platform code works
int64
__m68k_get_time_base(void)
{
        static uint64 time_dilation_field = 0;
        return time_dilation_field++;
}

bigtime_t
system_time(void)
{
        uint64 timeBase = __m68k_get_time_base();

        uint32 cv = *sConversionFactor;
        return (timeBase >> 32) * cv + (((timeBase & 0xffffffff) * cv) >> 32);
}