fix type issues in stdint.h so underlying types of 64-bit types match ABI
[musl] / arch / microblaze /
drwxr-xr-x   ..
-rw-r--r-- 2851 atomic.h
drwxr-xr-x - bits
-rw-r--r-- 194 pthread_arch.h
-rw-r--r-- 1353 reloc.h
-rw-r--r-- 3813 syscall_arch.h