Searched refs:EFI_64BIT (Results 1 – 11 of 11) sorted by relevance
167 set_bit(EFI_64BIT, &efi.flags); in xen_efi_init()
159 return IS_ENABLED(CONFIG_X86_64) == efi_enabled(EFI_64BIT); in efi_is_native()
321 if (efi_enabled(EFI_64BIT)) { in efi_systab_init()488 if (efi_enabled(EFI_64BIT)) in efi_runtime_init()733 if (!efi_enabled(EFI_OLD_MEMMAP) && efi_enabled(EFI_64BIT)) { in efi_map_next_entry()
522 if (!efi_enabled(EFI_64BIT)) in efi_reuse_config()
160 return sprintf(buf, "%d\n", efi_enabled(EFI_64BIT) ? 64 : 32); in fw_platform_size_show()516 if (efi_enabled(EFI_64BIT)) { in efi_config_parse_tables()633 if (efi_enabled(EFI_64BIT)) in efi_config_init()
101 set_bit(EFI_64BIT, &efi.flags); in uefi_init()
318 if (efi_enabled(EFI_RUNTIME_SERVICES) && !efi_enabled(EFI_64BIT)) { in bzImage64_probe()
99 if (efi_enabled(EFI_64BIT)) in map_efi_systab()
931 set_bit(EFI_64BIT, &efi.flags); in setup_arch()
1199 #define EFI_64BIT 5 /* Is the firmware 64-bit? */ macro
484 set_bit(EFI_64BIT, &efi.flags); in efi_init()
