Searched refs:thread_dealloc_kernel_special_reply_port (Results 1 – 3 of 3) sorted by relevance
288 extern void thread_dealloc_kernel_special_reply_port(thread_t thread);
404 thread_dealloc_kernel_special_reply_port(current_thread()); in kernel_mach_msg_rpc()436 thread_dealloc_kernel_special_reply_port(current_thread()); in kernel_mach_msg_rpc()
1049 thread_dealloc_kernel_special_reply_port(thread); in ipc_thread_terminate()1599 thread_dealloc_kernel_special_reply_port(thread_t thread) in thread_dealloc_kernel_special_reply_port() function