Searched refs:efi_systab_hi (Results 1 – 8 of 8) sorted by relevance
41 if (ei->efi_systab_hi || ei->efi_memmap_hi) { in efi_get_type()67 sys_tbl_pa = ei->efi_systab | ((__u64)ei->efi_systab_hi << 32); in efi_get_system_table()
144 boot_params->efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); in xen_efi_init()
129 __u32 efi_systab_hi; member
196 ei->efi_systab_hi = current_ei->efi_systab_hi; in setup_efi_state()
98 ((u64)boot_params.efi_info.efi_systab_hi<<32)); in map_efi_systab()
476 (boot_params.efi_info.efi_systab_hi || in efi_init()483 ((__u64)boot_params.efi_info.efi_systab_hi << 32); in efi_init()
610 paddr = boot_params.efi_info.efi_systab_hi; in memremap_is_efi_data()
696 &p->efi->efi_systab, &p->efi->efi_systab_hi); in exit_boot_func()