/*
 * Copyright 2004, Axel Dörfler, axeld@pinc-software.de.
 * Distributed under the terms of the MIT License.
 */


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


void
__arch_init_time(struct real_time_data *data, bool setDefaults)
{
        uint32 conversionFactor;
        uint64 conversionFactorNsecs;

        if (setDefaults) {
                data->arch_data.system_time_offset = 0;
                data->arch_data.system_time_conversion_factor = 100000;
        }

        // TODO: this should only store a pointer to that value
        // When resolving this TODO, also resolve the one in the Jamfile.

        conversionFactor = data->arch_data.system_time_conversion_factor;
        conversionFactorNsecs = (uint64)conversionFactor * 1000;

        if (conversionFactorNsecs >> 32 != 0) {
                // the TSC frequency is < 1 GHz, which forces us to shift the factor
                __x86_setup_system_time(conversionFactor, conversionFactorNsecs >> 16,
                        true);
        } else {
                // the TSC frequency is >= 1 GHz
                __x86_setup_system_time(conversionFactor, conversionFactorNsecs, false);
        }
}


bigtime_t
__arch_get_system_time_offset(struct real_time_data *data)
{
        //we don't use atomic_get64 because memory is read-only, maybe find another way to lock
        return data->arch_data.system_time_offset;
}