308 	thread_t thread)  in thread_generate_sigreturn_token()
326 	thread_t thread,  in machine_thread_state_convert_to_user()
526 	thread_t thread)  in machine_thread_state_check_sigreturn_token()
573 	thread_t thread,  in machine_thread_state_convert_from_user()
773 	thread_t thread,  in machine_thread_siguctx_pointer_convert_to_user()
807 	thread_t thread,  in machine_thread_function_pointers_convert_from_user()
844 machine_thread_get_state(thread_t                 thread,  in machine_thread_get_state()
1142 machine_thread_get_kern_state(thread_t                 thread,  in machine_thread_get_kern_state()
1188 machine_thread_switch_addrmode(thread_t thread)  in machine_thread_switch_addrmode()
1222 machine_thread_set_state(thread_t               thread,  in machine_thread_set_state()
1584 machine_thread_pc(thread_t thread)  in machine_thread_pc()
1591 machine_thread_reset_pc(thread_t thread, mach_vm_address_t pc)  in machine_thread_reset_pc()
1601 machine_thread_state_initialize(thread_t thread)  in machine_thread_state_initialize()
1686 get_user_regs(thread_t thread)  in get_user_regs()
1692 get_user_neon_regs(thread_t thread)  in get_user_neon_regs()
1702 find_user_regs(thread_t thread)  in find_user_regs()
1712 find_kern_regs(thread_t thread)  in find_kern_regs()
1725 find_debug_state32(thread_t thread)  in find_debug_state32()
1735 find_debug_state64(thread_t thread)  in find_debug_state64()
1757 find_or_allocate_debug_state64(thread_t thread)  in find_or_allocate_debug_state64()
1783 find_or_allocate_debug_state32(thread_t thread)  in find_or_allocate_debug_state32()
1804 free_debug_state(thread_t thread)  in free_debug_state()
1821 thread_userstack(__unused thread_t  thread,  in thread_userstack()
1914 thread_setuserstack(thread_t          thread,  in thread_setuserstack()
1931 thread_adjuserstack(thread_t thread,  in thread_adjuserstack()
1952 thread_setentrypoint(thread_t         thread,  in thread_setentrypoint()
1977 thread_entrypoint(__unused thread_t  thread,  in thread_entrypoint()
2086 	thread_t thread = current_thread();  in act_thread_csave()  local
2131 	thread_t thread = current_thread();  in act_thread_catt()  local
2174 thread_set_wq_state32(thread_t       thread,  in thread_set_wq_state32()
2212 thread_set_wq_state64(thread_t       thread,  in thread_set_wq_state64()