xref: /haiku/src/system/kernel/arch/arm/arch_timer.cpp (revision 3af608ada59d12d73608a045de66d425eedf7003)
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 
22 void
23 arch_timer_set_hardware_timer(bigtime_t timeout)
24 {
25 	#warning ARM:WRITEME
26 	// M68KPlatform::Default()->SetHardwareTimer(timeout);
27 }
28 
29 
30 void
31 arch_timer_clear_hardware_timer()
32 {
33 	#warning ARM:WRITEME
34 	// M68KPlatform::Default()->ClearHardwareTimer();
35 }
36 
37 
38 int
39 arch_init_timer(kernel_args *args)
40 {
41 	#warning ARM:WRITEME
42 	// M68KPlatform::Default()->InitTimer(args);
43 	return 0;
44 }
45 
46