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
