destroy 方法會毀損 RiCOSEventFlag 物件。
void RiCOSEventFlag_destroy (RiCOSEventFlag *const me);
me
要刪除的 RiCOSEventFlag 物件
void RiCOSEventFlag_destroy(RiCOSEventFlag * const me) { if (me != NULL) { RiCOSEventFlag_cleanup(me); free(me); } }