Home
last modified time | relevance | path

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

/Linux-v6.1/arch/x86/boot/compressed/
Defi.c146 efi_system_table_64_t *stbl = (efi_system_table_64_t *)sys_tbl_pa; in efi_get_conf_table()
Defi.h80 } efi_system_table_64_t; typedef
/Linux-v6.1/arch/x86/platform/efi/
Defi.c324 int size = efi_enabled(EFI_64BIT) ? sizeof(efi_system_table_64_t) in efi_systab_init()
344 const efi_system_table_64_t *systab64 = p; in efi_systab_init()
/Linux-v6.1/arch/x86/kernel/
Dmachine_kexec_64.c101 mend = mstart + sizeof(efi_system_table_64_t); in map_efi_systab()
/Linux-v6.1/include/linux/
Defi.h487 } efi_system_table_64_t; typedef