Searched refs:efi_systab_hi (Results 1 – 7 of 7) 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()
142 boot_params->efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); in xen_efi_init()
127 __u32 efi_systab_hi; member
176 ei->efi_systab_hi = current_ei->efi_systab_hi; in setup_efi_state()
96 ((u64)boot_params.efi_info.efi_systab_hi<<32)); in map_efi_systab()
447 (boot_params.efi_info.efi_systab_hi || in efi_init()454 ((__u64)boot_params.efi_info.efi_systab_hi << 32); in efi_init()
596 paddr = boot_params.efi_info.efi_systab_hi; in memremap_is_efi_data()