/*
 * Copyright 2007-2022, Haiku Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 *
 * Authors:
 *		François Revol <revol@free.fr>
 *		Ithamar R. Adema <ithamar@upgrade-android.com>
 *
 * Copyright 2001, Travis Geiselbrecht. All rights reserved.
 * Distributed under the terms of the NewOS License.
 */


#include <boot/stage2.h>
#include <kernel.h>
#include <debug.h>

#include <timer.h>
#include <arch/timer.h>
#include <arch/cpu.h>

#include <drivers/bus/FDT.h>
#include "arch_timer_generic.h"
#include "soc.h"

#include "soc_pxa.h"
#include "soc_omap3.h"

//#define TRACE_ARCH_TIMER
#ifdef TRACE_ARCH_TIMER
#	define TRACE(x...) dprintf(x)
#else
#	define TRACE(x...) ;
#endif


void
arch_timer_set_hardware_timer(bigtime_t timeout)
{
	HardwareTimer *timer = HardwareTimer::Get();
	if (timer != NULL)
		timer->SetTimeout(timeout);
}


void
arch_timer_clear_hardware_timer()
{
	HardwareTimer *timer = HardwareTimer::Get();
	if (timer != NULL)
		timer->Clear();
}

int
arch_init_timer(kernel_args *args)
{
	TRACE("%s\n", __func__);

	if (ARMGenericTimer::IsAvailable()) {
		TRACE("init ARMv7 generic timer\n");
		ARMGenericTimer::Init();
	} else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_OMAP3,
		sizeof(args->arch_args.timer.kind)) == 0) {
		OMAP3Timer::Init(args->arch_args.timer.regs.start,
			args->arch_args.timer.interrupt);
	} else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_PXA,
		sizeof(args->arch_args.timer.kind)) == 0) {
		PXATimer::Init(args->arch_args.timer.regs.start);
	} else {
		panic("No hardware timer found!\n");
	}

	return B_OK;
}


bigtime_t
system_time(void)
{
	HardwareTimer *timer = HardwareTimer::Get();
	if (timer != NULL)
		return timer->Time();

	return 0;
}