Searched refs:exclaves_get_ipc_buffer (Results 1 – 3 of 3) sorted by relevance
325 return Exclaves_L4_IpcBuffer_Ptr(exclaves_get_ipc_buffer()); in Exclaves_L4_IpcBuffer()
824 exclaves_get_ipc_buffer(void);
304 Exclaves_L4_IpcBuffer_t *ipcb = exclaves_get_ipc_buffer(); in _exclaves_ctl_trap()907 exclaves_get_ipc_buffer(void) in exclaves_get_ipc_buffer() function