diff options
Diffstat (limited to 'src/interface/efi/efi_timer.c')
| -rw-r--r-- | src/interface/efi/efi_timer.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interface/efi/efi_timer.c b/src/interface/efi/efi_timer.c index 0dcb7605..1f8ad150 100644 --- a/src/interface/efi/efi_timer.c +++ b/src/interface/efi/efi_timer.c @@ -21,13 +21,13 @@ FILE_LICENCE ( GPL2_OR_LATER ); #include <limits.h> #include <assert.h> #include <unistd.h> -#include <gpxe/timer.h> -#include <gpxe/efi/efi.h> -#include <gpxe/efi/Protocol/Cpu.h> +#include <ipxe/timer.h> +#include <ipxe/efi/efi.h> +#include <ipxe/efi/Protocol/Cpu.h> /** @file * - * gPXE timer API for EFI + * iPXE timer API for EFI * */ |