Searched refs:ipc_port_destroy (Results 1 – 3 of 3) sorted by relevance
840 ipc_port_destroy(port); /* clears receiver, consumes our ref, unlocks */ in ipc_right_terminate()1011 ipc_port_destroy(port); /* clears receiver, consumes our ref, unlocks */ in ipc_right_destroy()1424 ipc_port_destroy(port); /* clears receiver, consumes ref, unlocks */ in ipc_right_delta()1876 ipc_port_destroy(port); /* clears receiver, consumes ref, unlocks */ in ipc_right_destruct()
1009 ipc_port_destroy(ipc_port_t port) in ipc_port_destroy() function3079 ipc_port_destroy(port); /* consumes ref, unlocks */ in ipc_port_release_receive()3147 ipc_port_destroy(port); in ipc_port_dealloc_special_and_unlock()
652 extern void ipc_port_destroy(