Searched refs:out_ipcb (Results 1 – 1 of 1) sorted by relevance
189 Exclaves_L4_IpcBuffer_t **out_ipcb);1121 exclaves_acquire_ipc_buffer(Exclaves_L4_IpcBuffer_t **out_ipcb, in exclaves_acquire_ipc_buffer() argument1157 *out_ipcb = ipcb; in exclaves_acquire_ipc_buffer()