fix type issues in stdint.h so underlying types of 64-bit types match ABI
[musl] / arch / arm / src /
2013-02-06 rofl0rarm: add __aeabi_atexit()