Use uintptr_t rather than uintmax_t for thread ids

On 32-bit machines uintmax_t is likely to be slower than uintptr_t, and
for that reason, using an uintmax_t for a thread id seems highly
unlikely.  For the current platforms, uintptr_t works.

Signed-off-by: Erik Boasson <eb@ilities.com>
This commit is contained in:
Erik Boasson 2019-07-05 23:25:51 +02:00 committed by eboasson
parent bf5920385f
commit 0d33462664

View file

@ -49,7 +49,7 @@ typedef TASK_ID ddsrt_tid_t;
# endif
/* __VXWORKS__ */
#else
typedef uintmax_t ddsrt_tid_t;
typedef uintptr_t ddsrt_tid_t;
#define PRIdTID PRIuPTR
#endif