efi_system_table_32_t - Linux

Symbol: efi_system_table_32_t

arch/x86/boot/compressed/efi.c

efi_system_table_32_t *stbl = (efi_system_table_32_t *)sys_tbl_pa;

arch/x86/kernel/machine_kexec_64.c

mend = mstart + sizeof(efi_system_table_32_t);

arch/x86/kernel/machine_kexec_64.c

efi_system_table_32_t *stbl = (efi_system_table_32_t *)kaddr;

arch/x86/platform/efi/efi.c

: sizeof(efi_system_table_32_t);

arch/x86/platform/efi/efi.c

const efi_system_table_32_t *systab32 = p;

include/linux/efi.h

efi_system_table_32_t mixed_mode;