Home
last modified time | relevance | path

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

/arch/x86/boot/compressed/
A Defi.c157 efi_system_table_32_t *stbl = (efi_system_table_32_t *)sys_tbl_pa; in efi_get_conf_table()
A Defi.h98 } efi_system_table_32_t; typedef
/arch/x86/kernel/
A Dmachine_kexec_64.c116 mend = mstart + sizeof(efi_system_table_32_t); in map_efi_systab()
138 efi_system_table_32_t *stbl = (efi_system_table_32_t *)kaddr; in map_efi_systab()
/arch/x86/platform/efi/
A Defi.c366 : sizeof(efi_system_table_32_t); in efi_systab_init()
415 const efi_system_table_32_t *systab32 = p; in efi_systab_init()

Completed in 7 milliseconds