The signal operation of a semaphore is performed by function sema_post(), which takes a pointer to a semaphore as its only argument.
#include <synch.h> sema_t Semaphore; int sema_post(sema_t *Semaphore);