Searched refs:efi_config_table_64_t (Results 1 – 4 of 4) sorted by relevance
225 sz = sizeof(efi_config_table_64_t); in efi_reuse_config()237 guid = ((efi_config_table_64_t *)p)->guid; in efi_reuse_config()240 ((efi_config_table_64_t *)p)->table = data->smbios; in efi_reuse_config()
317 guid = ((efi_config_table_64_t *)tablep)->guid; in efi_config_parse_tables()318 table64 = ((efi_config_table_64_t *)tablep)->table; in efi_config_parse_tables()348 sz = sizeof(efi_config_table_64_t); in efi_config_init()
137 table_size = sizeof(efi_config_table_64_t) * efi.systab->nr_tables; in uefi_init()142 sizeof(efi_config_table_64_t), NULL); in uefi_init()
595 } efi_config_table_64_t; typedef