Home
last modified time | relevance | path

Searched defs: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
157 efi_system_table_32_t *stbl = (efi_system_table_32_t *)sys_tbl_pa; in efi_get_conf_table() local
/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
138 efi_system_table_32_t *stbl = (efi_system_table_32_t *)kaddr; in map_efi_systab() local

Completed in 7 milliseconds