This section describes the interface to create, destroy and manipulate ports, port rights and port sets.
This is a
task_t(and as such a
mach_port_t), which holds a port name associated with a port that represents an IPC space in the kernel. An IPC space is used by the kernel to manage the port names and rights available to a task. The IPC space doesn't get a port name of its own. Instead the port name of the task containing the IPC space is used to name the IPC space of the task (as is indicated by the fact that the type of
The IPC spaces of tasks are the only ones accessible outside of the kernel.