ports/linuxthreads/sysdeps/cris