1 /* 2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved. 3 ** Distributed under the terms of the NewOS License. 4 */ 5 #include <kernel/kernel.h> 6 #include <boot/stage2.h> 7 8 time_t system_time() 9 { 10 return 0; 11 } 12 13 void arch_timer_set_hardware_timer(time_t timeout) 14 { 15 } 16 17 void arch_timer_clear_hardware_timer() 18 { 19 } 20 21 int arch_init_timer(kernel_args *ka) 22 { 23 return 0; 24 } 25 26