Uma porta de Mach cujo direito receber é realizada pelo kernel. Veja também tarefa port, porta de thread.