Lines Matching refs:dead
141 * Try to allocate a dead-name request slot.
187 * Grow a port's table of dead-name requests.
305 * Cancel a dead-name request and return the send-once right.
491 * KERN_INVALID_TASK The space is dead.
539 * KERN_INVALID_TASK The space is dead.
577 * Generate dead name notifications. Called from ipc_port_destroy.
618 * Afterwards, the port is unlocked and dead.
653 /* once port is dead, we don't need to keep it locked */
687 /* generate dead-name notifications */
933 * dead port -> IP_DEAD
965 * Copyout a naked send right (possibly null/dead),
1455 print_type_ports(type, dead)
1457 unsigned dead;
1468 (!dead || !ip_active(port))) {
1534 printf(" (%d dead ports)", port_types[IKOT_##name].dead_count);\