/*
 * 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 __cplusplus
extern "C" {
#endif

extern void timer_init(void);

#ifdef __cplusplus
}
#endif


#endif	/* EFI_TIMER_H */