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