Symbol: tdx_dump_td_ctls
arch/x86/coco/tdx/tdx.c
1110
tdx_dump_td_ctls(controls);
arch/x86/include/asm/tdx.h
76
void __init tdx_dump_td_ctls(u64 td_ctls);