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