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
