Synopsis
void ctl_mutex_init(CTL_MUTEX_t *m);
Description

ctl_mutex_init initializes the mutex pointed to by m.