Searched refs:efi_systab (Results 1 – 8 of 8) sorted by relevance
34 static efi_system_table_t *efi_systab; variable43 if (!efi_systab) in efi_fdt_pointer()54 if (!efi_enabled(EFI_BOOT) || !efi_systab->runtime) in efi_runtime_init()62 efi.runtime = (efi_runtime_services_t *)efi_systab->runtime; in efi_runtime_init()110 efi_systab = (efi_system_table_t *)early_memremap_ro(efi_system_table, sizeof(*efi_systab)); in efi_init()111 if (!efi_systab) { in efi_init()116 efi_systab_report_header(&efi_systab->hdr, efi_systab->fw_vendor); in efi_init()119 efi_nr_tables = efi_systab->nr_tables; in efi_init()120 efi_config_table = (unsigned long)efi_systab->tables; in efi_init()124 efi_config_parse_tables(config_tables, efi_systab->nr_tables, arch_tables); in efi_init()
69 sys_tbl_pa = ei->efi_systab | ((__u64)ei->efi_systab_hi << 32); in efi_get_system_table()71 sys_tbl_pa = ei->efi_systab; in efi_get_system_table()
95 __u32 efi_systab; member
143 boot_params->efi_info.efi_systab = (__u32)__pa(efi_systab_xen); in xen_efi_init()
195 ei->efi_systab = current_ei->efi_systab; in setup_efi_state()
613 paddr |= boot_params.efi_info.efi_systab; in memremap_is_efi_data()
480 efi_systab_phys = boot_params.efi_info.efi_systab | in efi_init()
780 &p->efi->efi_systab, &p->efi->efi_systab_hi); in exit_boot_func()