destroy 方法會毀損 RiCOSMutex 物件。
void RiCOSMutex_destroy (RiCOSMutex * const me);
me
要毀損的 RiCOSMutex 物件
void RiCOSMutex_destroy(RiCOSMutex * const me) { if (me != NULL) { RiCOSMutex_cleanup(me); free(me); } }