Files
esp-idf/components/pthread/include/semaphore.h