src/system/kernel/arch/mips/arch_timer.cpp

   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