Searched refs:ipc_right_terminate (Results 1 – 3 of 3) sorted by relevance
127 extern void ipc_right_terminate(
467 ipc_right_terminate(space, name, entry); in ipc_space_terminate()
747 ipc_right_terminate( in ipc_right_terminate() function