Searched refs:ipc_pset_destroy (Results 1 – 4 of 4) sorted by relevance
127 extern void ipc_pset_destroy(
783 ipc_pset_destroy(space, pset); /* consumes ref, unlocks */ in ipc_right_terminate()887 ipc_pset_destroy(space, pset); /* consumes ref, unlocks */ in ipc_right_destroy()1019 ipc_pset_destroy(space, pset); /* consumes ref, unlocks */ in ipc_right_dealloc()1260 ipc_pset_destroy(space, pset); /* consumes ref, unlocks */ in ipc_right_delta()
236 ipc_pset_destroy( in ipc_pset_destroy() function
2514 ipc_pset_destroy(ipc_space_kernel, in wqt_wqset_free()