diff options
Diffstat (limited to 'gpxe/src/include/gpxe/efi/efi_timer.h')
| -rw-r--r-- | gpxe/src/include/gpxe/efi/efi_timer.h | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gpxe/src/include/gpxe/efi/efi_timer.h b/gpxe/src/include/gpxe/efi/efi_timer.h deleted file mode 100644 index e0531d5a..00000000 --- a/gpxe/src/include/gpxe/efi/efi_timer.h +++ /dev/null @@ -1,18 +0,0 @@ -#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 */ |