Searched refs:out_ipc_buffer (Results 1 – 1 of 1) sorted by relevance
864 exclaves_allocate_ipc_buffer(void **out_ipc_buffer) in exclaves_allocate_ipc_buffer() argument880 if (out_ipc_buffer) { in exclaves_allocate_ipc_buffer()881 *out_ipc_buffer = (void*)ipcb; in exclaves_allocate_ipc_buffer()886 #pragma unused(out_ipc_buffer) in exclaves_allocate_ipc_buffer()