Searched refs:efi_systab_hi (Results 1 – 8 of 8) sorted by relevance
109 systab = (efi_system_table_64_t *) (ei->efi_systab | ((__u64)ei->efi_systab_hi << 32)); in kexec_get_rsdp_addr()142 systab = ei->efi_systab | ((__u64)ei->efi_systab_hi << 32); in efi_get_rsdp_addr()144 if (ei->efi_systab_hi || ei->efi_memmap_hi) { in efi_get_rsdp_addr()
689 p->efi->efi_systab_hi = (unsigned long)sys_table_arg >> 32; in exit_boot_func()
161 boot_params->efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); in xen_efi_init()
113 __u32 efi_systab_hi; member
186 ei->efi_systab_hi = current_ei->efi_systab_hi; in setup_efi_state()
97 ((u64)boot_params.efi_info.efi_systab_hi<<32)); in map_efi_systab()
510 if (boot_params.efi_info.efi_systab_hi || in efi_init()519 ((__u64)boot_params.efi_info.efi_systab_hi<<32)); in efi_init()
586 paddr = boot_params.efi_info.efi_systab_hi; in memremap_is_efi_data()
