TDX_SUCCESS
if (err == TDX_SUCCESS)
(vp_enter_ret & TDX_SEAMCALL_STATUS_MASK) != TDX_SUCCESS);
err = TDX_SUCCESS; /* Already done by other thread */
case TDX_SUCCESS:
if (sret == TDX_SUCCESS)