mach_port_t vs task_t (really ipc_space_t) in Mach header files

[Marcus Brinkmann]

Hi,

I saw that the defs file have nice specific types like ipc_space_t and
mach_port_name_t, but the C header files almost all have mach_port_t for
them.  In the Hurd, we have a typedef for each of these types and keep
them in the header.  We even use task_t in proc etc.

I am now using mach_port_t in mach.texi everywhere (where it is used in the
generated C header file), rather than the more explicit type in the defs
file.  But maybe we don't want that?

Thanks,
Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org brinkmd@debian.org
Marcus Brinkmann              GNU    http://www.gnu.org    marcus@gnu.org
Marcus.Brinkmann@ruhr-uni-bochum.de
http://www.marcus-brinkmann.de