[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: 64bit GNU Mach

From: Richard Braun
Subject: Re: 64bit GNU Mach
Date: Mon, 2 Apr 2012 13:46:08 +0200
User-agent: Mutt/1.5.20 (2009-06-14)

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]