Searched refs:thread_dealloc_kernel_special_reply_port (Results 1 – 3 of 3) sorted by relevance
353 thread_dealloc_kernel_special_reply_port(current_thread()); in kernel_mach_msg_rpc()385 thread_dealloc_kernel_special_reply_port(current_thread()); in kernel_mach_msg_rpc()
289 extern void thread_dealloc_kernel_special_reply_port(thread_t thread);
1020 thread_dealloc_kernel_special_reply_port(thread); in ipc_thread_terminate()1557 thread_dealloc_kernel_special_reply_port(thread_t thread) in thread_dealloc_kernel_special_reply_port() function