Re: 64bit GNU Mach

[Samuel Thibault]

Richard Braun, le Mon 02 Apr 2012 13:46:08 +0200, a écrit :
> On Mon, Apr 02, 2012 at 12:35:25PM +0200, Samuel Thibault wrote:
> > Richard Braun, le Mon 02 Apr 2012 12:03:34 +0200, a écrit :
> > > Kernel port names are addresses of their target IPC port object.
> > 
> > Inside the kernel, yes. In the userland processes, no. That's the
> > difference that xnu makes between mach_port_t (kernelland) and
> > mach_port_name_t (userland) (sorry I forgot to mention that in my
> > previous mail).
> 
> [...]
> 
> > We can also rather simply fix the code that converts from names to
> > pointers into using different sizes, like xnu does.
> 
> How do they convert names from/to pointers ? Regular IPC space lookups ?

Well, yes, just like GNU Mach does, in ipc_kmsg_copyin_header etc.

Samuel