- kern_return_t kr;
-
- kr = mach_notify_port_destroyed(port, right);
- if (kr != KERN_SUCCESS) {
- printf("dropped port-destroyed (%p, %p)\n",
- port, right);
- ipc_port_release_sonce(port);
- ipc_port_release_receive(right);
- }
+ mach_notify_port_destroyed(port, right);
+ /* send-once and receive rights consumed */