#include <ctl_api.h> void ctl_semaphore_init(CTL_SEMAPHORE_t *s, unsigned value);
The function ctl_semaphore_init initialises the semaphore pointed at by s to the value.
ctl_semaphore_init is provided in every implementation of the CrossWorks tasking library.