/* 
** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
** Distributed under the terms of the NewOS License.
*/
#ifndef _KERNEL_ARCH_X86_TIMER
#define _KERNEL_ARCH_X86_TIMER

#define ISA_TIMER_MODULE_NAME "timers/x86/isa/v1"
#define APIC_TIMER_MODULE_NAME "timers/x86/apic/v1"
#define HPET_TIMER_MODULE_NAME "timers/x86/hpet/v1"

#endif