w32: Use cast by uintptr_t for thread ID.
* w32/npth.c (npth_init): Cast with uintptr_t. (npth_setname_np, npth_create, npth_self): Likewise.
In w32/npth.h, npth_t is unsigned long int type, which is 32-bit
for both of 32-bit machine and 64-bit machine.
We use TlsSetValue, TlsGetValue and CreateThread API to handle
thread ID, which uses void * type, which is 64-bit on 64-bit
machine.
Because the size is different on 64-bit machine, here, we use explicit
cast to integer type which has enough size to have pointer.
- Signed-off-by: NIIBE Yutaka <gniibe@fsij.org>