Searched refs:tdx_attributes (Results 1 – 1 of 1) sorted by relevance
12 static __initdata const char *tdx_attributes[] = { variable41 for (int i = 0; i < ARRAY_SIZE(tdx_attributes); i++) { in tdx_dump_attributes()42 if (!tdx_attributes[i]) in tdx_dump_attributes()45 pr_cont(" %s", tdx_attributes[i]); in tdx_dump_attributes()