1 /* 2 * Copyright 2005, Axel Dörfler, axeld@pinc-software.de. All rights reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef EFI_TIMER_H 6 #define EFI_TIMER_H 7 8 9 #include <SupportDefs.h> 10 11 12 #ifdef __cplusplus 13 extern "C" { 14 #endif 15 16 extern void timer_init(void); 17 18 #ifdef __cplusplus 19 } 20 #endif 21 22 23 #endif /* EFI_TIMER_H */ 24