destroy 方法用于销毁 RiCOSEventFlag 对象。
void RiCOSEventFlag_destroy (RiCOSEventFlag *const me);
me
这是要删除的 RiCOSEventFlag 对象
void RiCOSEventFlag_destroy(RiCOSEventFlag * const me) { if (me != NULL) { RiCOSEventFlag_cleanup(me); free(me); } }