Symbol: TDH_VP_ADDCX
arch/x86/kvm/vmx/tdx.c
2926
if (TDX_BUG_ON(err, TDH_VP_ADDCX, vcpu->kvm)) {
arch/x86/virt/vmx/tdx/tdx.c
1586
return seamcall(TDH_VP_ADDCX, &args);