Symbol: TDH_MNG_ADDCX
arch/x86/kvm/vmx/tdx.c
2500
if (TDX_BUG_ON(err, TDH_MNG_ADDCX, kvm)) {
arch/x86/virt/vmx/tdx/tdx.c
1535
return seamcall(TDH_MNG_ADDCX, &args);