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