Home
last modified time | relevance | path

Searched refs:EFI_64BIT (Results 1 – 11 of 11) sorted by relevance

/linux/arch/x86/platform/efi/
H A Defi.c364 int size = efi_enabled(EFI_64BIT) ? sizeof(efi_system_table_64_t) in efi_systab_init()
383 if (efi_enabled(EFI_64BIT)) { in efi_systab_init()
443 if (efi_enabled(EFI_64BIT)) in efi_config_init()
591 if (efi_enabled(EFI_64BIT)) { in efi_map_next_entry()
H A Dquirks.c585 if (!efi_enabled(EFI_64BIT)) in efi_reuse_config()
/linux/arch/x86/include/asm/
H A Defi.h161 return IS_ENABLED(CONFIG_X86_64) && !efi_enabled(EFI_64BIT); in efi_is_mixed()
166 if (IS_ENABLED(CONFIG_X86_64) == efi_enabled(EFI_64BIT)) in efi_runtime_supported()
/linux/arch/loongarch/kernel/
H A Defi.c120 set_bit(EFI_64BIT, &efi.flags); in efi_init()
/linux/arch/x86/xen/
H A Defi.c150 set_bit(EFI_64BIT, &efi.flags); in xen_efi_init()
/linux/drivers/firmware/efi/
H A Defi-init.c106 set_bit(EFI_64BIT, &efi.flags); in uefi_init()
H A Defi.c164 return sprintf(buf, "%d\n", efi_enabled(EFI_64BIT) ? 64 : 32); in fw_platform_size_show()
721 } else if (efi_enabled(EFI_64BIT)) { in efi_config_parse_tables()
/linux/arch/x86/kernel/
H A Dmachine_kexec_64.c114 if (efi_enabled(EFI_64BIT)) in map_efi_systab()
134 if (efi_enabled(EFI_64BIT)) { in map_efi_systab()
H A Dkexec-bzimage64.c458 if (efi_enabled(EFI_RUNTIME_SERVICES) && !efi_enabled(EFI_64BIT)) { in bzImage64_probe()
H A Dsetup.c560 set_bit(EFI_64BIT, &efi.flags); in parse_boot_params()
/linux/include/linux/
H A Defi.h843 #define EFI_64BIT 5 /* Is the firmware 64-bit? */ macro