efi_config_table_64_t 42 arch/x86/boot/compressed/acpi.c efi_config_table_64_t *tbl = (efi_config_table_64_t *)config_tables + i; efi_config_table_64_t 532 arch/x86/platform/efi/quirks.c sz = sizeof(efi_config_table_64_t); efi_config_table_64_t 544 arch/x86/platform/efi/quirks.c guid = ((efi_config_table_64_t *)p)->guid; efi_config_table_64_t 547 arch/x86/platform/efi/quirks.c ((efi_config_table_64_t *)p)->table = data->smbios; efi_config_table_64_t 132 drivers/firmware/efi/arm-init.c table_size = sizeof(efi_config_table_64_t) * efi.systab->nr_tables; efi_config_table_64_t 518 drivers/firmware/efi/efi.c guid = ((efi_config_table_64_t *)tablep)->guid; efi_config_table_64_t 519 drivers/firmware/efi/efi.c table64 = ((efi_config_table_64_t *)tablep)->table; efi_config_table_64_t 634 drivers/firmware/efi/efi.c sz = sizeof(efi_config_table_64_t);