static void vcos_term(uint32_t flags) { if (flags & VCOS_INIT_MSGQ) vcos_msgq_deinit(); if (flags & VCOS_INIT_MAIN_SEM) vcos_semaphore_delete(&vcos_thread_main.suspend); if (flags & VCOS_INIT_NAMED_SEM) _vcos_named_semaphore_deinit(); }
static void vcos_term(uint32_t flags) { if (flags & VCOS_INIT_MSGQ) vcos_msgq_deinit(); if (flags & VCOS_INIT_MAIN_SEM) vcos_semaphore_delete(&vcos_thread_main.suspend); #ifdef ANDROID if (flags & VCOS_INIT_PRINTF_LOCK) vcos_mutex_delete(&printf_lock); #endif if (flags & VCOS_INIT_NAMED_SEM) _vcos_named_semaphore_deinit(); }