1/*
2 * Copyright 2007, Haiku Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 *
5 * Authors:
6 * 		Fran��ois Revol <revol@free.fr>
7 *
8 * Copyright 2001, Travis Geiselbrecht. All rights reserved.
9 * Distributed under the terms of the NewOS License.
10 */
11
12
13#include <boot/stage2.h>
14#include <kernel.h>
15#include <debug.h>
16
17#include <timer.h>
18#include <arch/timer.h>
19#include <arch_platform.h>
20
21
22void
23arch_timer_set_hardware_timer(bigtime_t timeout)
24{
25	M68KPlatform::Default()->SetHardwareTimer(timeout);
26}
27
28
29void
30arch_timer_clear_hardware_timer()
31{
32	M68KPlatform::Default()->ClearHardwareTimer();
33}
34
35
36int
37arch_init_timer(kernel_args *args)
38{
39	return M68KPlatform::Default()->InitTimer(args);
40}
41
42