/** Copyright 2008, Dustin Howett, dustin.howett@gmail.com. All rights reserved.* Distributed under the terms of the MIT License.*/#ifndef BOOT_ARCH_HPET_H#define BOOT_ARCH_HPET_H#include <SupportDefs.h>#include <arch/x86/arch_hpet.h>#ifdef __cplusplusextern "C" {#endifvoid hpet_init(void);#ifdef __cplusplus}#endif#endif /* BOOT_ARCH_HPET_H */