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
