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