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