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 8time_t system_time() 9{ 10 return 0; 11} 12 13void arch_timer_set_hardware_timer(time_t timeout) 14{ 15} 16 17void arch_timer_clear_hardware_timer() 18{ 19} 20 21int arch_init_timer(kernel_args *ka) 22{ 23 return 0; 24} 25 26