The destroy method destroys the RiCOSMutex object.
void RiCOSMutex_destroy (RiCOSMutex * const me);
me
The RiCOSMutex object to destroy
void RiCOSMutex_destroy(RiCOSMutex * const me)
{
if (me != NULL) {
RiCOSMutex_cleanup(me);
free(me);
}
}