EFI_64BIT         484 arch/ia64/kernel/efi.c 	set_bit(EFI_64BIT, &efi.flags);
EFI_64BIT         159 arch/x86/include/asm/efi.h 	return IS_ENABLED(CONFIG_X86_64) == efi_enabled(EFI_64BIT);
EFI_64BIT         318 arch/x86/kernel/kexec-bzimage64.c 	if (efi_enabled(EFI_RUNTIME_SERVICES) && !efi_enabled(EFI_64BIT)) {
EFI_64BIT          99 arch/x86/kernel/machine_kexec_64.c 	if (efi_enabled(EFI_64BIT))
EFI_64BIT         931 arch/x86/kernel/setup.c 		set_bit(EFI_64BIT, &efi.flags);
EFI_64BIT         323 arch/x86/platform/efi/efi.c 	if (efi_enabled(EFI_64BIT)) {
EFI_64BIT         490 arch/x86/platform/efi/efi.c 		if (efi_enabled(EFI_64BIT))
EFI_64BIT         736 arch/x86/platform/efi/efi.c 	if (!efi_enabled(EFI_OLD_MEMMAP) && efi_enabled(EFI_64BIT)) {
EFI_64BIT         520 arch/x86/platform/efi/quirks.c 	if (!efi_enabled(EFI_64BIT))
EFI_64BIT         167 arch/x86/xen/efi.c 	set_bit(EFI_64BIT, &efi.flags);
EFI_64BIT         101 drivers/firmware/efi/arm-init.c 		set_bit(EFI_64BIT, &efi.flags);
EFI_64BIT         160 drivers/firmware/efi/efi.c 	return sprintf(buf, "%d\n", efi_enabled(EFI_64BIT) ? 64 : 32);
EFI_64BIT         516 drivers/firmware/efi/efi.c 		if (efi_enabled(EFI_64BIT)) {
EFI_64BIT         633 drivers/firmware/efi/efi.c 	if (efi_enabled(EFI_64BIT))