241     __unused struct work_interval *work_interval, __unused thread_t thread)  in work_interval_perform_deferred_finish()
270 work_interval_auto_join_decrement(struct work_interval *work_interval, thread_t thread)  in work_interval_auto_join_decrement()
413 work_interval_should_propagate(thread_t cthread, thread_t thread)  in work_interval_should_propagate()
478 work_interval_auto_join_unwind(thread_t thread)  in work_interval_auto_join_unwind()
496 work_interval_auto_join_demote(thread_t thread)  in work_interval_auto_join_demote()
706 work_interval_get_priority(thread_t thread)  in work_interval_get_priority()
765 work_interval_set_policy(thread_t thread)  in work_interval_set_policy()
806 work_interval_clear_policy(thread_t thread)  in work_interval_clear_policy()
840 thread_set_work_interval(thread_t thread,  in thread_set_work_interval()
1036 thread_set_work_interval_explicit_join(thread_t thread, struct work_interval *work_interval)  in thread_set_work_interval_explicit_join()
1043 work_interval_thread_terminate(thread_t thread)  in work_interval_thread_terminate()
1053 kern_work_interval_notify(thread_t thread, struct kern_work_interval_args* kwi_args)  in kern_work_interval_notify()
1095 kern_work_interval_create(thread_t thread,  in kern_work_interval_create()
1500 kern_work_interval_destroy(thread_t thread, uint64_t work_interval_id)  in kern_work_interval_destroy()
1516 kern_work_interval_join(thread_t            thread,  in kern_work_interval_join()
1544 kern_work_interval_explicit_join(thread_t thread,  in kern_work_interval_explicit_join()