efi_systab_hi     109 arch/x86/boot/compressed/acpi.c 	systab = (efi_system_table_64_t *) (ei->efi_systab | ((__u64)ei->efi_systab_hi << 32));
efi_systab_hi     142 arch/x86/boot/compressed/acpi.c 	systab = ei->efi_systab | ((__u64)ei->efi_systab_hi << 32);
efi_systab_hi     144 arch/x86/boot/compressed/acpi.c 	if (ei->efi_systab_hi || ei->efi_memmap_hi) {
efi_systab_hi     689 arch/x86/boot/compressed/eboot.c 	p->efi->efi_systab_hi		= (unsigned long)sys_table_arg >> 32;
efi_systab_hi     113 arch/x86/include/uapi/asm/bootparam.h 	__u32 efi_systab_hi;
efi_systab_hi     186 arch/x86/kernel/kexec-bzimage64.c 	ei->efi_systab_hi = current_ei->efi_systab_hi;
efi_systab_hi      97 arch/x86/kernel/machine_kexec_64.c 			((u64)boot_params.efi_info.efi_systab_hi<<32));
efi_systab_hi     607 arch/x86/mm/ioremap.c 	paddr = boot_params.efi_info.efi_systab_hi;
efi_systab_hi     511 arch/x86/platform/efi/efi.c 	if (boot_params.efi_info.efi_systab_hi ||
efi_systab_hi     520 arch/x86/platform/efi/efi.c 			  ((__u64)boot_params.efi_info.efi_systab_hi<<32));
efi_systab_hi     161 arch/x86/xen/efi.c 	boot_params->efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32);