Searched refs:exclaves_thread_free_ipc_buffer (Results 1 – 1 of 1) sorted by relevance
797 exclaves_thread_free_ipc_buffer(thread_t thread) in exclaves_thread_free_ipc_buffer() function821 return exclaves_thread_free_ipc_buffer(current_thread()); in exclaves_free_ipc_buffer()840 kr = exclaves_thread_free_ipc_buffer(thread); in exclaves_thread_terminate()