Home
last modified time | relevance | path

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

/linux-6.12.1/arch/x86/boot/compressed/
Defi.c148 efi_system_table_64_t *stbl = (efi_system_table_64_t *)sys_tbl_pa; in efi_get_conf_table()
Defi.h82 } efi_system_table_64_t; typedef
/linux-6.12.1/arch/x86/kernel/
Dmachine_kexec_64.c101 mend = mstart + sizeof(efi_system_table_64_t); in map_efi_systab()
121 efi_system_table_64_t *stbl = (efi_system_table_64_t *)kaddr; in map_efi_systab()
/linux-6.12.1/arch/x86/platform/efi/
Defi.c371 int size = efi_enabled(EFI_64BIT) ? sizeof(efi_system_table_64_t) in efi_systab_init()
391 const efi_system_table_64_t *systab64 = p; in efi_systab_init()
/linux-6.12.1/include/linux/
Defi.h495 } efi_system_table_64_t; typedef