<dt> <strong>THREAD_KERNEL_PORT</strong>
<dd>
[thread-self port] The thread's kernel port. Used by the kernel
-to receive messages from the thread. This is the port returned
-by <strong>mach_thread_self</strong>.
+to receive messages from the thread. This is the movable
+port for the thread and different from <strong>mach_thread_self</strong>(immovable).
</dl>
<p>
<dt> <var>special_port</var>