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 13extern "C" { 14#endif 15 16extern void timer_init(void); 17 18#ifdef __cplusplus 19} 20#endif 21 22 23#endif /* EFI_TIMER_H */ 24