Searched refs:ipc_port_destroy (Results 1 – 3 of 3) sorted by relevance
814 ipc_port_destroy(port); /* clears receiver, consumes our ref, unlocks */ in ipc_right_terminate()983 ipc_port_destroy(port); /* clears receiver, consumes our ref, unlocks */ in ipc_right_destroy()1395 ipc_port_destroy(port); /* clears receiver, consumes ref, unlocks */ in ipc_right_delta()1855 ipc_port_destroy(port); /* clears receiver, consumes ref, unlocks */ in ipc_right_destruct()
1113 ipc_port_destroy(ipc_port_t port) in ipc_port_destroy() function3154 ipc_port_destroy(port); /* consumes ref, unlocks */ in ipc_port_release_receive()3227 ipc_port_destroy(port); in ipc_port_dealloc_special_and_unlock()
672 extern void ipc_port_destroy(