efi_system_table_64_t - Linux

Symbol: efi_system_table_64_t

arch/x86/boot/compressed/efi.c

efi_system_table_64_t *stbl = (efi_system_table_64_t *)sys_tbl_pa;

arch/x86/kernel/machine_kexec_64.c

mend = mstart + sizeof(efi_system_table_64_t);

arch/x86/kernel/machine_kexec_64.c

efi_system_table_64_t *stbl = (efi_system_table_64_t *)kaddr;

arch/x86/platform/efi/efi.c

int size = efi_enabled(EFI_64BIT) ? sizeof(efi_system_table_64_t)

arch/x86/platform/efi/efi.c

const efi_system_table_64_t *systab64 = p;