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