On Mon, Apr 02, 2012 at 02:54:17PM +0200, Samuel Thibault wrote: > > I believe we're thinking of two different things here. My current idea > > of the solution is to directly convert names (32-bits) to ports or other > > IPC objects (e.g. port sets, 64-bits). > > That's what I'm suggesting from the beginning. That needs two differents > types (64bit mach_port_t and 32bit mach_port_name_t), where there is > currently just one (vm_offset_t mach_port_t).
Then I don't see why you want two different types. There would be one 32-bits mach_port_t, and no mach_port_name_t. -- Richard Braun
