+static
+void mark_thread_as_ready(struct thread_notifiers *notifiers)
+{
+ DBG("Marking application registration thread as ready");
+ sem_post(¬ifiers->ready);
+}
+
+static
+void wait_until_thread_is_ready(struct thread_notifiers *notifiers)
+{
+ DBG("Waiting for application registration thread to be ready");
+ sem_wait(¬ifiers->ready);
+ DBG("Application registration thread is ready");
+}
+