efi_system_table_64_t   87 arch/x86/boot/compressed/acpi.c 	efi_system_table_64_t *systab;
efi_system_table_64_t  109 arch/x86/boot/compressed/acpi.c 	systab = (efi_system_table_64_t *) (ei->efi_systab | ((__u64)ei->efi_systab_hi << 32));
efi_system_table_64_t  155 arch/x86/boot/compressed/acpi.c 		efi_system_table_64_t *stbl = (efi_system_table_64_t *)systab;
efi_system_table_64_t  100 arch/x86/kernel/machine_kexec_64.c 		mend = mstart + sizeof(efi_system_table_64_t);
efi_system_table_64_t  324 arch/x86/platform/efi/efi.c 		efi_system_table_64_t *systab64;