Searched refs:exclaves_thread_free_ipc_buffer (Results 1 – 1 of 1) sorted by relevance
893 exclaves_thread_free_ipc_buffer(thread_t thread) in exclaves_thread_free_ipc_buffer() function924 return exclaves_thread_free_ipc_buffer(thread); in exclaves_free_ipc_buffer()943 kr = exclaves_thread_free_ipc_buffer(thread); in exclaves_thread_terminate()