1 /* 2 * Copyright 2019 Haiku, Inc. All Rights Reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5 #include <boot/stage2.h> 6 #include <kernel.h> 7 #include <debug.h> 8 9 #include <timer.h> 10 #include <arch/timer.h> 11 #include <arch/cpu.h> 12 13 14 void 15 arch_timer_set_hardware_timer(bigtime_t timeout) 16 { 17 } 18 19 20 void 21 arch_timer_clear_hardware_timer() 22 { 23 } 24 25 26 int 27 arch_init_timer(kernel_args *args) 28 { 29 return B_OK; 30 } 31 32 33 bigtime_t 34 system_time(void) 35 { 36 return 0; 37 } 38