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