Luca Dariz, le mar. 28 juin 2022 12:10:39 +0200, a ecrit:
> task /bin/sh(1) deallocating a bogus port 4294967295, most probably a bug.
> task mkdir(10) deallocating a bogus port 4294967295, most probably a bug.

That's MACH_PORT_DEAD, which is 0xFFFFFFFF for userland, but with

#define MACH_PORT_DEAD. .       ((mach_port_t) ~0)

that's 0xFFFFFFFFFFFFFFFF.

I guess that has to be special-cased in the copyin/outmsg translation.

Samuel

Reply via email to