Have you gone through the whole list of the syscalls? I guess we have to do that to be somehow sure we have not missed anything (rather than relying on noticing odd bugs in userland)
Luca Dariz, le mar. 28 juin 2022 12:10:50 +0200, a ecrit: > +mach_port_name_t mach_reply_port (void); Ideally we'd propagate the type fix into ipc_port_alloc's name parameter, etc. That'd bring less confusion to source readers. Samuel
