[efi] Add EFI image format and basic runtime environment
[people/sha0/gpxe.git] / src / include / gpxe / efi / efi_timer.h
1 #ifndef _GPXE_EFI_TIMER_H
2 #define _GPXE_EFI_TIMER_H
3
4 /** @file
5  *
6  * gPXE timer API for EFI
7  *
8  */
9
10 #ifdef TIMER_EFI
11 #define TIMER_PREFIX_efi
12 #else
13 #define TIMER_PREFIX_efi __efi_
14 #endif
15
16 #endif /* _GPXE_EFI_TIMER_H */