static void mm_wait_stop(void) { ENTER(); mm_pool_cleanup(&mm_wait_pool); LEAVE(); }
void mm_task_term(void) { ENTER(); // TODO: stop and destroy all tasks. mm_pool_cleanup(&mm_task_pool); LEAVE(); }