Re: 64bit GNU Mach

[Richard Braun]

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