Home
last modified time | relevance | path

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

/openbmc/linux/arch/x86/boot/compressed/
H A Defi.c146 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
/openbmc/linux/arch/x86/kernel/
H A Dmachine_kexec_64.c104 mend = mstart + sizeof(efi_system_table_64_t); in map_efi_systab()
124 efi_system_table_64_t *stbl = (efi_system_table_64_t *)kaddr; in map_efi_systab()
/openbmc/linux/arch/x86/platform/efi/
H A Defi.c373 int size = efi_enabled(EFI_64BIT) ? sizeof(efi_system_table_64_t) in efi_systab_init()
393 const efi_system_table_64_t *systab64 = p; in efi_systab_init()
/openbmc/linux/include/linux/
H A Defi.h495 } efi_system_table_64_t; typedef