Searched refs:exclaves_acquire_ipc_buffer (Results 1 – 1 of 1) sorted by relevance
118 exclaves_acquire_ipc_buffer(Exclaves_L4_IpcBuffer_t **ipcb_out,778 if ((kr = exclaves_acquire_ipc_buffer(&ipcb, &scid))) { in exclaves_allocate_ipc_buffer()946 exclaves_acquire_ipc_buffer(Exclaves_L4_IpcBuffer_t **out_ipcb, in exclaves_acquire_ipc_buffer() function