Searched refs:td_ctls (Results 1 – 2 of 2) sorted by relevance
55 void __init tdx_dump_td_ctls(u64 td_ctls) in tdx_dump_td_ctls() argument62 if (td_ctls & BIT(i)) in tdx_dump_td_ctls()64 td_ctls &= ~BIT(i); in tdx_dump_td_ctls()66 if (td_ctls) in tdx_dump_td_ctls()67 pr_cont(" unknown:%#llx", td_ctls); in tdx_dump_td_ctls()
76 void __init tdx_dump_td_ctls(u64 td_ctls);
Completed in 7 milliseconds