diff options
Diffstat (limited to 'drivers/video')
| -rw-r--r-- | drivers/video/efi_gop.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/video/efi_gop.c b/drivers/video/efi_gop.c index 0ed3a005db..52387f30dc 100644 --- a/drivers/video/efi_gop.c +++ b/drivers/video/efi_gop.c @@ -12,7 +12,7 @@ #include <errno.h> #include <gui/graphic_utils.h> #include <efi.h> -#include <efi/efi.h> +#include <efi/efi-payload.h> #include <efi/efi-device.h> #define PIXEL_RGB_RESERVED_8BIT_PER_COLOR 0 |