extern void ipc_thread_terminate(
thread_t thread);
+/* Clear out a thread's IPC state */
+extern void ipc_thread_reset(
+ thread_t thread);
+
/* Return a send right for the task's user-visible self port */
extern ipc_port_t retrieve_task_self_fast(
task_t task);