fix type issues in stdint.h so underlying types of 64-bit types match ABI
[musl] / src / thread / microblaze /
drwxr-xr-x   ..
-rw-r--r-- 139 __set_thread_area.s
-rw-r--r-- 145 __unmapself.s
-rw-r--r-- 495 clone.s
-rw-r--r-- 362 syscall_cp.s