Home
last modified time | relevance | path

Searched refs:td_ctls (Results 1 – 2 of 2) sorted by relevance

/arch/x86/coco/tdx/
A Ddebug.c55 void __init tdx_dump_td_ctls(u64 td_ctls) in tdx_dump_td_ctls() argument
62 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()
/arch/x86/include/asm/
A Dtdx.h76 void __init tdx_dump_td_ctls(u64 td_ctls);

Completed in 7 milliseconds