headers/private/kernel/arch/timer.h

   1 /*
   2 ** Copyright 2004, The OpenBeOS Team. All rights reserved.
   3 ** Distributed under the terms of the MIT License.
   4 */
   5 #ifndef KERNEL_ARCH_TIMER_H
   6 #define KERNEL_ARCH_TIMER_H
   7
   8 #include <SupportDefs.h>
   9
  10 struct kernel_args;
  11
  12 #ifdef __cplusplus
  13 extern "C" {
  14 #endif
  15
  16 extern void arch_timer_set_hardware_timer(bigtime_t timeout);
  17 extern void arch_timer_clear_hardware_timer(void);
  18 extern int arch_init_timer(struct kernel_args *args);
  19
  20 #ifdef __cplusplus
  21 }
  22 #endif
  23
  24 #endif  /* KERNEL_ARCH_TIMER_H */