Home
last modified time | relevance | path

Searched refs:efi_system_table_64_t (Results 1 – 5 of 5) sorted by relevance

/linux/arch/x86/boot/compressed/
H A Defi.c148 efi_system_table_64_t *stbl = (efi_system_table_64_t *)sys_tbl_pa; in efi_get_conf_table()
H A Defi.h82 } efi_system_table_64_t; typedef
/linux/arch/x86/kernel/
H A Dmachine_kexec_64.c115 mend = mstart + sizeof(efi_system_table_64_t); in map_efi_systab()
135 efi_system_table_64_t *stbl = (efi_system_table_64_t *)kaddr; in map_efi_systab()
/linux/arch/x86/platform/efi/
H A Defi.c364 int size = efi_enabled(EFI_64BIT) ? sizeof(efi_system_table_64_t) in efi_systab_init()
384 const efi_system_table_64_t *systab64 = p; in efi_systab_init()
/linux/include/linux/
H A Defi.h497 } efi_system_table_64_t; typedef