/libc/sysdeps/linux/nds32/bits/