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