Searched refs:efi_systab_hi (Results 1 – 6 of 6) sorted by relevance
132 boot_params.efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); in xen_efi_init()
110 __u32 efi_systab_hi; member
187 ei->efi_systab_hi = current_ei->efi_systab_hi; in setup_efi_state()
485 if (boot_params.efi_info.efi_systab_hi || in efi_init()494 ((__u64)boot_params.efi_info.efi_systab_hi<<32)); in efi_init()
489 paddr = boot_params.efi_info.efi_systab_hi; in memremap_is_efi_data()
913 p->efi->efi_systab_hi = (unsigned long)sys_table_arg >> 32; in exit_boot_func()