Searched refs:tdx_dump_td_ctls (Results 1 – 3 of 3) sorted by relevance
55 void __init tdx_dump_td_ctls(u64 td_ctls) in tdx_dump_td_ctls() function
1110 tdx_dump_td_ctls(controls); in tdx_announce()
76 void __init tdx_dump_td_ctls(u64 td_ctls);