#include <ctl_api.h>
extern CTL_EVENT_SET_t ctl_libc_mutex;
ctl_libc_mutex is the event set used to serialise access to C library resources. The event set is used as follows:
ctl_libc_mutex is provided in every implementation of the CrossWorks tasking library.