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