Searched refs:ipc_right_terminate (Results 1 – 3 of 3) sorted by relevance
470 ipc_right_terminate(space, name, entry); in ipc_space_terminate()484 ipc_right_terminate(space, name, entry); in ipc_space_terminate()
137 extern void ipc_right_terminate(
796 ipc_right_terminate( in ipc_right_terminate() function