src/system/kernel/arch/x86/timers/apic_timer.h

   1 /*
   2  * Copyright 2008, Dustin Howett, dustin.howett@gmail.com. All rights reserved.
   3  * Distributed under the terms of the MIT License.
   4  */
   5 #ifndef _KERNEL_ARCH_x86_TIMERS_APIC_H
   6 #define _KERNEL_ARCH_x86_TIMERS_APIC_H
   7
   8 #include <SupportDefs.h>
   9
  10 status_t apic_timer_per_cpu_init(struct kernel_args *args, int32 cpu);
  11
  12 #endif /* _KERNEL_ARCH_x86_TIMERS_APIC_H */