efi_gop_setmode
if (efi_gop_setmode(mode) == EFI_SUCCESS)
efi_gop_setmode(int mode);
if (efi_gop_setmode(gopmode) != EFI_SUCCESS)
(void)efi_gop_setmode(curmode);