+#ifdef KERNEL
+
+/*
+ * mach_port_t - a named port right
+ *
+ * In the kernel, "rights" are represented [named] by pointers to
+ * the ipc port object in question. There is no port namespace for the
+ * rights to be collected.
+ *
+ * Actually, there is namespace for the kernel task. But most kernel
+ * code - including, but not limited to, Mach IPC code - lives in the
+ * limbo between the current user-level task and the "next" task. Very
+ * little of the kernel code runs in full kernel task context. So very
+ * little of it gets to use the kernel task's port name space.
+ *
+ * Because of this implementation approach, all in-kernel rights for
+ * a given port coalesce [have the same name/pointer]. The actual
+ * references are counted in the port itself. It is up to the kernel
+ * code in question to "just remember" how many [and what type of]
+ * rights it holds and handle them appropriately.
+ *
+ */