Searched refs:out_ipc_buffer (Results 1 – 1 of 1) sorted by relevance
788 exclaves_allocate_ipc_buffer(void **out_ipc_buffer) in exclaves_allocate_ipc_buffer() argument804 if (out_ipc_buffer != NULL) { in exclaves_allocate_ipc_buffer()805 *out_ipc_buffer = thread->th_exclaves_ipc_ctx.ipcb; in exclaves_allocate_ipc_buffer()809 #pragma unused(out_ipc_buffer) in exclaves_allocate_ipc_buffer()