/** Copyright 2005, Axel Dörfler, axeld@pinc-software.de. All rights reserved.* Distributed under the terms of the MIT License.*/#ifndef EFI_TIMER_H#define EFI_TIMER_H#include <SupportDefs.h>#ifdef __cplusplusextern "C" {#endifextern void timer_init(void);#ifdef __cplusplus}#endif#endif /* EFI_TIMER_H */