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

[musl] / src / thread / pthread_attr_destroy.c

#include "pthread_impl.h"

int pthread_attr_destroy(pthread_attr_t *a)
{
        return 0;
}