xref: /haiku/src/system/boot/platform/efi/arch/arm/arch_timer.cpp (revision 072d3935c2497638e9c2502f574c133caeba9d3d)
1 /*
2  * Copyright, 2019-2020, Haiku, Inc. All rights reserved.
3  * Distributed under the terms of the MIT License.
4  *
5  * Authors:
6  * 	Alexander von Gluck IV <kallisti5@unixzen.com>
7 */
8 
9 
10 #include "arch_timer.h"
11 
12 #include <KernelExport.h>
13 
14 #include <safemode.h>
15 #include <boot/stage2.h>
16 #include <boot/menu.h>
17 
18 #include <string.h>
19 
20 //#define TRACE_TIMER
21 #ifdef TRACE_TIMER
22 #	define TRACE(x) dprintf x
23 #else
24 #	define TRACE(x) ;
25 #endif
26 
27 
28 void
29 arch_timer_init(void)
30 {
31 	// Stub
32 }
33