Synopsis
void ctl_semaphore_init(CTL_SEMAPHORE_t *s,
                        unsigned value);
Description

ctl_semaphore_init initializes the semaphore pointed to by s to value.