|
@@ -477,6 +477,9 @@ efi_init (void)
|
|
|
char *cp, vendor[100] = "unknown";
|
|
|
int i;
|
|
|
|
|
|
+ set_bit(EFI_BOOT, &efi.flags);
|
|
|
+ set_bit(EFI_64BIT, &efi.flags);
|
|
|
+
|
|
|
/*
|
|
|
* It's too early to be able to use the standard kernel command line
|
|
|
* support...
|
|
@@ -529,6 +532,8 @@ efi_init (void)
|
|
|
efi.systab->hdr.revision >> 16,
|
|
|
efi.systab->hdr.revision & 0xffff, vendor);
|
|
|
|
|
|
+ set_bit(EFI_SYSTEM_TABLES, &efi.flags);
|
|
|
+
|
|
|
palo_phys = EFI_INVALID_TABLE_ADDR;
|
|
|
|
|
|
if (efi_config_init(arch_tables) != 0)
|
|
@@ -657,6 +662,8 @@ efi_enter_virtual_mode (void)
|
|
|
return;
|
|
|
}
|
|
|
|
|
|
+ set_bit(EFI_RUNTIME_SERVICES, &efi.flags);
|
|
|
+
|
|
|
/*
|
|
|
* Now that EFI is in virtual mode, we call the EFI functions more
|
|
|
* efficiently:
|