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()
176 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()
142 boot_params->efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); in xen_efi_init()
127 __u32 efi_systab_hi; member
447 (boot_params.efi_info.efi_systab_hi || in efi_init()454 ((__u64)boot_params.efi_info.efi_systab_hi << 32); in efi_init()
591 paddr = boot_params.efi_info.efi_systab_hi; in memremap_is_efi_data()
615 &p->efi->efi_systab, &p->efi->efi_systab_hi); in exit_boot_func()
Completed in 15 milliseconds