Symbol: tdx_dump_attributes
arch/x86/coco/tdx/tdx.c
1107
tdx_dump_attributes(args.rdx);
arch/x86/include/asm/tdx.h
75
void __init tdx_dump_attributes(u64 td_attr);