Re: 64bit GNU Mach

[Richard Braun]

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 ?

-- 
Richard Braun