glibc/sysdeps/nios2/nptl/bits
..
pthreadtypes.h
semaphore.h