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 FILE_LICENCE ( GPL2_OR_LATER ); 11 12 #ifdef TIMER_EFI 13 #define TIMER_PREFIX_efi 14 #else 15 #define TIMER_PREFIX_efi __efi_ 16 #endif 17 18 #endif /* _GPXE_EFI_TIMER_H */ 19
