Home
last modified time | relevance | path

Searched refs:efi_system_table_32_t (Results 1 – 4 of 4) sorted by relevance

/Linux-v5.10/arch/x86/boot/compressed/
Dacpi.c160 efi_system_table_32_t *stbl = (efi_system_table_32_t *)systab; in efi_get_rsdp_addr()
/Linux-v5.10/arch/x86/platform/efi/
Defi.c345 : sizeof(efi_system_table_32_t); in efi_systab_init()
394 const efi_system_table_32_t *systab32 = p; in efi_systab_init()
/Linux-v5.10/include/linux/
Defi.h431 } efi_system_table_32_t; typedef
452 efi_system_table_32_t mixed_mode;
/Linux-v5.10/arch/x86/kernel/
Dmachine_kexec_64.c101 mend = mstart + sizeof(efi_system_table_32_t); in map_efi_systab()