stmf_worker_task
void stmf_worker_task(void *arg);
w->worker_tid = thread_create(NULL, 0, stmf_worker_task,