1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
#ifndef _GPXE_EFI_TIMER_H #define _GPXE_EFI_TIMER_H /** @file * * gPXE timer API for EFI * */ FILE_LICENCE ( GPL2_OR_LATER ); #ifdef TIMER_EFI #define TIMER_PREFIX_efi #else #define TIMER_PREFIX_efi __efi_ #endif #endif /* _GPXE_EFI_TIMER_H */