/linuxthreads/sysdeps/pthread/cmpxchg/bits/
../
semaphore.h