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