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