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 BOOT_ARCH_HPET_H 6 #define BOOT_ARCH_HPET_H 7 8 #include <SupportDefs.h> 9 #include <arch/x86/arch_hpet.h> 10 11 #ifdef __cplusplus 12 extern "C" { 13 #endif 14 15 void hpet_init(void); 16 17 #ifdef __cplusplus 18 } 19 #endif 20 21 #endif /* BOOT_ARCH_HPET_H */ 22