diff options
Diffstat (limited to 'src/arch/i386/firmware/pcbios/gateA20.c')
| -rw-r--r-- | src/arch/i386/firmware/pcbios/gateA20.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/arch/i386/firmware/pcbios/gateA20.c b/src/arch/i386/firmware/pcbios/gateA20.c index 1a71472d..55f72936 100644 --- a/src/arch/i386/firmware/pcbios/gateA20.c +++ b/src/arch/i386/firmware/pcbios/gateA20.c @@ -3,8 +3,8 @@ FILE_LICENCE ( GPL2_OR_LATER ); #include <stdio.h> #include <realmode.h> #include <bios.h> -#include <gpxe/io.h> -#include <gpxe/timer.h> +#include <ipxe/io.h> +#include <ipxe/timer.h> #define K_RDWR 0x60 /* keyboard data & cmds (read/write) */ #define K_STATUS 0x64 /* keyboard status */ |