MIG type translation (was: I/O permission bitmap patch for oskit-mach)

[Thomas Schwinge]

Hello!

On my endavor to understand the MIG magic better, I stumbled over the
following:

On Fri, Mar 08, 2002 at 01:39:49AM +0100, Marcus Brinkmann wrote:
> [...]


i386/include/mach/i386/mach_i386.defs

> +type io_port_t       =       MACH_MSG_TYPE_INTEGER_16;
> +type io_perm_t = mach_port_t
> +             ctype: mach_port_t
> +#if  KERNEL_SERVER
> +             intran: io_perm_t convert_port_to_io_perm(mach_port_t)
> +             outtran: mach_port_t convert_io_perm_to_port(io_perm_t)
> +             destructor: io_perm_deallocate(io_perm_t)
> +#endif       /* KERNEL_SERVER */
> +             ;

i386/i386/io_perm.c

> +/* The destructor which is called when the last send right to a port
> +   representing an io_perm_t object vanishes.  */
> +void
> +io_perm_deallocate (io_perm_t io_perm)
> +{
> +  device_deallocate ((device_t) io_perm);
> +}

Is this above comment really correct?  Isn't it rather something like
``The destructor which is called to deallocate what has been allocated in
the InTran `convert_port_to_io_perm'.''  ``last send right to a port
[...] vanishes'' sounds like the no-sender notification to me, which is
completely different from the above Destructor.


Regards,
 Thomas

signature.asc
Description: Digital signature