/libc/sysdeps/linux/nios2/bits/