void ctl_semaphore_signal(CTL_SEMAPHORE_t *s);
ctl_semaphore_signal signals the semaphore pointed to 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.