Home
last modified time | relevance | path

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

/arch/x86/boot/compressed/
A Defi.c148 efi_system_table_64_t *stbl = (efi_system_table_64_t *)sys_tbl_pa; in efi_get_conf_table() local
154 *cfg_tbl_pa = esd ? esd->tables : stbl->tables; in efi_get_conf_table()
155 *cfg_tbl_len = stbl->nr_tables; in efi_get_conf_table()
157 efi_system_table_32_t *stbl = (efi_system_table_32_t *)sys_tbl_pa; in efi_get_conf_table() local
159 *cfg_tbl_pa = stbl->tables; in efi_get_conf_table()
160 *cfg_tbl_len = stbl->nr_tables; in efi_get_conf_table()
/arch/x86/kernel/
A Dmachine_kexec_64.c134 efi_system_table_64_t *stbl = (efi_system_table_64_t *)kaddr; in map_efi_systab() local
136 mend = mstart + sizeof(efi_config_table_64_t) * stbl->nr_tables; in map_efi_systab()
138 efi_system_table_32_t *stbl = (efi_system_table_32_t *)kaddr; in map_efi_systab() local
140 mend = mstart + sizeof(efi_config_table_32_t) * stbl->nr_tables; in map_efi_systab()

Completed in 7 milliseconds