/libc/sysdeps/linux/nds32/