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