On Thu, Jan 22, 2015 at 10:22:04PM +0100, Justus Winter wrote: > So do we consider {deallocating,destroying,mod_refing} MACH_PORT_NULL > or MACH_PORT_DEAD an error, or an expensive nop ?
Personally, I'd consider this a nop, like free(NULL) is. -- Richard Braun