220 work_interval_should_collect_telemetry_from_thread(thread_t thread)  in work_interval_should_collect_telemetry_from_thread()
256     __unused struct work_interval *work_interval, __unused thread_t thread)  in work_interval_perform_deferred_finish()
285 work_interval_auto_join_decrement(struct work_interval *work_interval, thread_t thread)  in work_interval_auto_join_decrement()
422 work_interval_should_propagate(thread_t cthread, thread_t thread)  in work_interval_should_propagate()
487 work_interval_auto_join_unwind(thread_t thread)  in work_interval_auto_join_unwind()
505 work_interval_auto_join_demote(thread_t thread)  in work_interval_auto_join_demote()
709 work_interval_get_priority(thread_t thread)  in work_interval_get_priority()
729 work_interval_set_policy(thread_t thread)  in work_interval_set_policy()
770 work_interval_clear_policy(thread_t thread)  in work_interval_clear_policy()
804 thread_set_work_interval(thread_t thread,  in thread_set_work_interval()
1000 thread_set_work_interval_explicit_join(thread_t thread, struct work_interval *work_interval)  in thread_set_work_interval_explicit_join()
1007 work_interval_thread_terminate(thread_t thread)  in work_interval_thread_terminate()
1017 kern_work_interval_notify(thread_t thread, struct kern_work_interval_args* kwi_args)  in kern_work_interval_notify()
1059 kern_work_interval_create(thread_t thread,  in kern_work_interval_create()
1459 kern_work_interval_destroy(thread_t thread, uint64_t work_interval_id)  in kern_work_interval_destroy()
1475 kern_work_interval_join(thread_t            thread,  in kern_work_interval_join()