Home
last modified time | relevance | path

Searched refs:config_tables (Results 1 – 2 of 2) sorted by relevance

/arch/x86/boot/compressed/
Dacpi.c28 __efi_get_rsdp_addr(unsigned long config_tables, unsigned int nr_tables, in __efi_get_rsdp_addr() argument
42 efi_config_table_64_t *tbl = (efi_config_table_64_t *)config_tables + i; in __efi_get_rsdp_addr()
52 efi_config_table_32_t *tbl = (efi_config_table_32_t *)config_tables + i; in __efi_get_rsdp_addr()
122 unsigned long systab, config_tables; in efi_get_rsdp_addr() local
157 config_tables = stbl->tables; in efi_get_rsdp_addr()
162 config_tables = stbl->tables; in efi_get_rsdp_addr()
166 if (!config_tables) in efi_get_rsdp_addr()
169 return __efi_get_rsdp_addr(config_tables, nr_tables, efi_64); in efi_get_rsdp_addr()
/arch/x86/platform/efi/
Defi.c417 void *config_tables; in efi_config_init() local
431 config_tables = early_memremap(efi_config_table, efi_nr_tables * sz); in efi_config_init()
432 if (config_tables == NULL) { in efi_config_init()
437 ret = efi_config_parse_tables(config_tables, efi_nr_tables, in efi_config_init()
440 early_memunmap(config_tables, efi_nr_tables * sz); in efi_config_init()