Luca, le mar. 28 nov. 2023 21:57:54 +0100, a ecrit: > 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.
Yes, that's the eventual goal :) Samuel
