diff options
Diffstat (limited to 'src/arch/i386/interface/pcbios/bios_timer.c')
| -rw-r--r-- | src/arch/i386/interface/pcbios/bios_timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/arch/i386/interface/pcbios/bios_timer.c b/src/arch/i386/interface/pcbios/bios_timer.c index 8ecf7c12..70c3986b 100644 --- a/src/arch/i386/interface/pcbios/bios_timer.c +++ b/src/arch/i386/interface/pcbios/bios_timer.c @@ -24,7 +24,7 @@ FILE_LICENCE ( GPL2_OR_LATER ); * */ -#include <gpxe/timer.h> +#include <ipxe/timer.h> #include <realmode.h> #include <bios.h> |