On Tue, Oct 02, 2001 at 10:54:40PM +0200, Marcus Brinkmann wrote: > type mach_port_t = io_port_t;
Ugh, more something like type io_port_t = mach_port_t ctype: mach_port_t #if KERNEL_SERVER intran: io_port_t convert_port_to_io_port(mach_port_t) outtran: mach_port_t convert_task_to_port(io_port_t) destructor: io_port_deallocate(io_port_t) #endif /* KERNEL_SERVER */ ; Thanks, Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org [EMAIL PROTECTED] Marcus Brinkmann GNU http://www.gnu.org [EMAIL PROTECTED] [EMAIL PROTECTED] http://www.marcus-brinkmann.de _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd