destroy 方法用于销毁 RiCOSMutex 对象。
void RiCOSMutex_destroy (RiCOSMutex * const me);
me
这是要销毁的 RiCOSMutex 对象
void RiCOSMutex_destroy(RiCOSMutex * const me) { if (me != NULL) { RiCOSMutex_cleanup(me); free(me); } }