fix efi video drivers for video API change

diff --git a/video/efi_gop.c b/video/efi_gop.c
index e2eb2f7aeba4b7fb2efaf08865fa8d7cd77d3830..3143135d687fb41e80012b918d1d82789e8f0828 100644 (file)
--- a/video/efi_gop.c
+++ b/video/efi_gop.c
@@ -185,7 +185,7 @@ grub_video_gop_fill_mode_info (struct grub_efi_gop_mode_info *in,
 
 static grub_err_t
 grub_video_gop_setup (unsigned int width, unsigned int height,
-                     unsigned int mode_type)
+                     unsigned int mode_type, unsigned int mode_mask __attribute__ ((unused)))
 {
   unsigned int depth;
   struct grub_efi_gop_mode_info *info = NULL;

diff --git a/video/efi_uga.c b/video/efi_uga.c
index 9bca6430652d1ff8755f7b2ff5e042e76d48d73c..1fe0aa5003bbfc02b1c6621c66ea021adfeba137 100644 (file)
--- a/video/efi_uga.c
+++ b/video/efi_uga.c
@@ -198,7 +198,7 @@ grub_video_uga_fini (void)
 
 static grub_err_t
 grub_video_uga_setup (unsigned int width, unsigned int height,
-                     unsigned int mode_type)
+                     unsigned int mode_type, unsigned int mode_mask __attribute__ ((unused)))
 {
   unsigned int depth;
   int found = 0;