void ctl_mutex_unlock(CTL_MUTEX_t *m);
ctl_mutex_unlock unlocks the mutex pointed to by m. The mutex must have previously been locked by the calling task. If the calling task's priority has been raised (by another task calling ctl_mutex_unlock whilst the mutex was locked), then the calling tasks priority will be restored.
ctl_mutex_unlock must not be called from an interrupt service routine.