Searched refs:efi_systab (Results 1 – 10 of 10) sorted by relevance
488 const efi_system_table_t *efi_systab; in efi_init() local521 efi_systab = __va(ia64_boot_param->efi_systab); in efi_init()526 if (efi_systab == NULL) in efi_init()528 if (efi_systab_check_header(&efi_systab->hdr, 1)) in efi_init()531 efi_systab_report_header(&efi_systab->hdr, efi_systab->fw_vendor); in efi_init()535 if (efi_config_parse_tables(__va(efi_systab->tables), in efi_init()536 efi_systab->nr_tables, in efi_init()543 runtime = __va(efi_systab->runtime); in efi_init()
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()148 systab = ei->efi_systab; in efi_get_rsdp_addr()
9 __u64 efi_systab; /* physical address of EFI system table */ member
175 ei->efi_systab = current_ei->efi_systab; in setup_efi_state()
96 mstart = (boot_params.efi_info.efi_systab | in map_efi_systab()
141 boot_params->efi_info.efi_systab = (__u32)__pa(efi_systab_xen); in xen_efi_init()
122 __u32 efi_systab; member
593 paddr |= boot_params.efi_info.efi_systab; in memremap_is_efi_data()
453 efi_systab_phys = boot_params.efi_info.efi_systab | in efi_init()
615 &p->efi->efi_systab, &p->efi->efi_systab_hi); in exit_boot_func()
Completed in 19 milliseconds