69   semaphore_t *semaphore = semaphore_new(0);  in init_stack()  local
70   thread_post(management_thread, event_init_stack, semaphore);  in init_stack()
71   semaphore_wait(semaphore);  in init_stack()
72   semaphore_free(semaphore);  in init_stack()
86   semaphore_t *semaphore = semaphore_new(0);  in clean_up_stack()  local
87   thread_post(management_thread, event_clean_up_stack, semaphore);  in clean_up_stack()
88   semaphore_wait(semaphore);  in clean_up_stack()
89   semaphore_free(semaphore);  in clean_up_stack()
100   semaphore_t *semaphore = (semaphore_t *)context;  in event_init_stack()  local
121   if (semaphore)  in event_init_stack()
122     semaphore_post(semaphore);  in event_init_stack()
213   semaphore_t *semaphore = (semaphore_t *)context;  in event_clean_up_stack()  local
214   if (semaphore)  in event_clean_up_stack()
215     semaphore_post(semaphore);  in event_clean_up_stack()