#include <ctl_api.h> void ctl_signal_semaphore(CTL_SEMAPHORE_t *s);
The ctl_signal_semaphore signals the semaphore pointed at by s. If tasks are waiting for the semaphore then the highest priority task will be made runnable. If no tasks are waiting for the semaphore then the semaphore value will be incremented.
ctl_signal_semaphore is provided in every implementation of the CrossWorks tasking library.