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