Searched refs:ipc_right_terminate (Results 1 – 3 of 3) sorted by relevance
449 ipc_right_terminate(space, name, entry); in ipc_space_terminate()465 ipc_right_terminate(space, name, entry); in ipc_space_terminate()
129 extern void ipc_right_terminate(
754 ipc_right_terminate( in ipc_right_terminate() function