efi_64             29 arch/x86/boot/compressed/acpi.c 		    bool efi_64)
efi_64             41 arch/x86/boot/compressed/acpi.c 		if (efi_64) {
efi_64            125 arch/x86/boot/compressed/acpi.c 	bool efi_64;
efi_64            132 arch/x86/boot/compressed/acpi.c 		efi_64 = true;
efi_64            134 arch/x86/boot/compressed/acpi.c 		efi_64 = false;
efi_64            154 arch/x86/boot/compressed/acpi.c 	if (efi_64) {
efi_64            169 arch/x86/boot/compressed/acpi.c 	return __efi_get_rsdp_addr(config_tables, nr_tables, efi_64);