#include #include "pthread_impl.h" int sem_post(sem_t *sem) { a_inc(sem->__val); if (sem->__val[1]) __wake(sem->__val, 1, 0); return 0; }