Re: [PATCH gnumach] x86_64: Support 8 byte inlined port rights to avoid message resizing.

[Luca]

Il 24/11/23 22:30, Flavio Cruz ha scritto:
> If a port is inlined in a message, the user has to use
> mach_port_name_inlined_t to define each port. Out of line memory
> continues to use mach_port_name_t since that memory has to be copied to
> the kernel anyway.
>
> Both copyinmsg and copyoutmsg can be reduced to nothing (if we ignore
> USER32) as a follow up but kept this patch simple for ease of review.

wouldn't they just become almost an alias to copyin/copyout, plus 
setting msg size? (as in the 32-bit case)

In that case probably copy_user.c is not needed anymore, on a full 
64-bit system, and would be also simpler than this change.


Luca