fix type issues in stdint.h so underlying types of 64-bit types match ABI
[musl] / crt / microblaze /
2012-09-29 Rich Felkermicroblaze port