arch/x86/boot/compressed/efi.c

175

efi_config_table_64_t *tbl_entry = (efi_config_table_64_t *)cfg_tbl + idx;

arch/x86/kernel/machine_kexec_64.c

137

mend = mstart + sizeof(efi_config_table_64_t) * stbl->nr_tables;

arch/x86/platform/efi/efi.c

444

sz = sizeof(efi_config_table_64_t);

arch/x86/platform/efi/quirks.c

597

sz = sizeof(efi_config_table_64_t);

arch/x86/platform/efi/quirks.c

609

guid = ((efi_config_table_64_t *)p)->guid;

arch/x86/platform/efi/quirks.c

612

((efi_config_table_64_t *)p)->table = data->smbios;

arch/x86/platform/efi/quirks.c

616

((efi_config_table_64_t *)p)->table = EFI_INVALID_TABLE_ADDR;

drivers/firmware/efi/efi.c

708

const efi_config_table_64_t *tbl64 = (void *)config_tables;