Searched refs:exclaves_get_ipc_buffer (Results 1 – 3 of 3) sorted by relevance
323 return Exclaves_L4_IpcBuffer_Ptr(exclaves_get_ipc_buffer()); in Exclaves_L4_IpcBuffer()
668 exclaves_get_ipc_buffer(void);
852 exclaves_get_ipc_buffer(void) in exclaves_get_ipc_buffer() function