Re: [PATCH v3 0/1] MR125: vkd3d: Print the thread id in trace messages.

[Giovanni Mascellani (＠giomasce)]

Giovanni Mascellani (@giomasce) commented about libs/vkd3d-common/debug.c:
>  assert(level < ARRAY_SIZE(debug_level_names));
>
> - vkd3d_dbg_output("vkd3d:%s:%s ", debug_level_names[level], function);
>
> +#ifdef _WIN32
> - vkd3d_dbg_output("vkd3d:%04lx:%s:%s ", GetCurrentThreadId(), debug_level_names[level], function);
>
> +#else
> - vkd3d_dbg_output("vkd3d:%04lx:%s:%s ", gettid(), debug_level_names[level], function);

The thread id is usually displayed as a decimal number in Unix environments, so I would do the same here. And I would not pad with zeros, because nowadays it can be 32 bit on Linux.