Server Interface - Handle the current instance of a port-deleted notification.
kern_return_t do_mach_notify_port_deleted (notify_port_t notify, mach_port_name_t name); kern_return_t do_seqnos_mach_notify_port_deleted (notify_port_t notify, mach_port_seqno_t seqno, mach_port_name_t name);
A do_mach_notify_port_deleted function is called by notify_server as the result of a kernel message indicating that a port name is no longer usable (that is, it no longer names a valid right), typically as a result of the right so named being consumed or moved. In contrast, a dead-name notification indicates that the port name is now dead as the result of the associated receive right having died. notify is the port named via mach_port_request_notification or mach_msg.
This interface is machine word length specific because of the port name parameter.
Only generic errors apply.
Functions: notify_server, seqnos_notify_server, mach_msg, mach_port_request_notification, do_mach_notify_dead_name, do_mach_notify_no_senders, do_mach_notify_send_once.