efi_config_table_t
size = sizeof(efi_config_table_t);
table_size = sizeof(efi_config_table_t) * systab->nr_tables;
efi_config_table_t *config_tables;
int __init efi_config_parse_tables(const efi_config_table_t *config_tables,
efi_config_table_t *t = (void *)tables;
tables += efi_is_native() ? sizeof(efi_config_table_t)
extern int efi_config_parse_tables(const efi_config_table_t *config_tables,