Searched refs:efi_config_table_64_t (Results 1 – 5 of 5) sorted by relevance
528 sz = sizeof(efi_config_table_64_t); in efi_reuse_config()540 guid = ((efi_config_table_64_t *)p)->guid; in efi_reuse_config()543 ((efi_config_table_64_t *)p)->table = data->smbios; in efi_reuse_config()
424 sz = sizeof(efi_config_table_64_t); in efi_config_init()
42 efi_config_table_64_t *tbl = (efi_config_table_64_t *)config_tables + i; in __efi_get_rsdp_addr()
555 const efi_config_table_64_t *tbl64 = (void *)config_tables; in efi_config_parse_tables()
371 } efi_config_table_64_t; typedef