xref: /haiku/src/system/boot/platform/efi/arch/riscv64/arch_timer.cpp (revision 372b901dfeada686207d00bbcce456f748bbda12)
1 /*
2  * Copyright, 2019, 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 <kernel.h>
15 #include <safemode.h>
16 #include <boot/stage2.h>
17 #include <boot/menu.h>
18 
19 #include <string.h>
20 
21 //#define TRACE_TIMER
22 #ifdef TRACE_TIMER
23 #	define TRACE(x) dprintf x
24 #else
25 #	define TRACE(x) ;
26 #endif
27 
28 
29 void
30 arch_timer_init(void)
31 {
32 	// Stub
33 }
34