Searched refs:tdcs_td_ctls (Results 1 – 1 of 1) sorted by relevance
29 static __initdata const char *tdcs_td_ctls[] = { variable59 for (int i = 0; i < ARRAY_SIZE(tdcs_td_ctls); i++) { in tdx_dump_td_ctls()60 if (!tdcs_td_ctls[i]) in tdx_dump_td_ctls()63 pr_cont(" %s", tdcs_td_ctls[i]); in tdx_dump_td_ctls()