fix type issues in stdint.h so underlying types of 64-bit types match ABI
[musl] / arch / arm / src /
drwxr-xr-x   ..
-rw-r--r-- 167 __aeabi_atexit.c