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

   1 /*
   2  * Copyright 2007, Haiku Inc. All rights reserved.
   3  * Distributed under the terms of the MIT License.
   4  *
   5  * Authors:
   6  *              François Revol <revol@free.fr>
   7  *
   8  * Copyright 2001, Travis Geiselbrecht. All rights reserved.
   9  * Distributed under the terms of the NewOS License.
  10  */
  11
  12
  13 #include <boot/stage2.h>
  14 #include <kernel.h>
  15 #include <debug.h>
  16
  17 #include <timer.h>
  18 #include <arch/timer.h>
  19 #include <arch_platform.h>
  20
  21
  22 void
  23 arch_timer_set_hardware_timer(bigtime_t timeout)
  24 {
  25         M68KPlatform::Default()->SetHardwareTimer(timeout);
  26 }
  27
  28
  29 void
  30 arch_timer_clear_hardware_timer()
  31 {
  32         M68KPlatform::Default()->ClearHardwareTimer();
  33 }
  34
  35
  36 int
  37 arch_init_timer(kernel_args *args)
  38 {
  39         return M68KPlatform::Default()->InitTimer(args);
  40 }
  41