EFI_64BIT
set_bit(EFI_64BIT, &efi.flags);
return IS_ENABLED(CONFIG_X86_64) && !efi_enabled(EFI_64BIT);
if (IS_ENABLED(CONFIG_X86_64) == efi_enabled(EFI_64BIT))
if (efi_enabled(EFI_RUNTIME_SERVICES) && !efi_enabled(EFI_64BIT)) {
if (efi_enabled(EFI_64BIT))
if (efi_enabled(EFI_64BIT)) {
set_bit(EFI_64BIT, &efi.flags);
int size = efi_enabled(EFI_64BIT) ? sizeof(efi_system_table_64_t)
if (efi_enabled(EFI_64BIT)) {
if (efi_enabled(EFI_64BIT))
if (efi_enabled(EFI_64BIT)) {
if (!efi_enabled(EFI_64BIT))
set_bit(EFI_64BIT, &efi.flags);
set_bit(EFI_64BIT, &efi.flags);
return sprintf(buf, "%d\n", efi_enabled(EFI_64BIT) ? 64 : 32);
} else if (efi_enabled(EFI_64BIT)) {