+#if CONFIG_SCHED_AUTO_JOIN
+bool work_interval_should_propagate(thread_t cthread, thread_t thread);
+void work_interval_auto_join_propagate(thread_t from, thread_t to);
+void work_interval_auto_join_unwind(thread_t thread);
+void work_interval_auto_join_demote(thread_t thread);
+#endif /* CONFIG_SCHED_AUTO_JOIN */