/sysdeps/nios2/nptl/bits/

• ../
• pthreadtypes-arch.h
• semaphore.h