fix type issues in stdint.h so underlying types of 64-bit types match ABI

[musl] / src / thread / pthread_getspecific.c

#include "pthread_impl.h"

void *pthread_getspecific(pthread_key_t k)
{
        struct pthread *self = __pthread_self();
        return self->tsd[k];
}