Searched refs:out_ipcb (Results 1 – 1 of 1) sorted by relevance
142 Exclaves_L4_IpcBuffer_t **out_ipcb);946 exclaves_acquire_ipc_buffer(Exclaves_L4_IpcBuffer_t **out_ipcb, in exclaves_acquire_ipc_buffer() argument982 *out_ipcb = ipcb; in exclaves_acquire_ipc_buffer()