Searched refs:Exclaves_L4_IpcBuffer_Ptr (Results 1 – 2 of 2) sorted by relevance
310 #define Exclaves_L4_IpcBuffer_Ptr(x) \ macro325 return Exclaves_L4_IpcBuffer_Ptr(exclaves_get_ipc_buffer()); in Exclaves_L4_IpcBuffer()
55 ipcb = Exclaves_L4_IpcBuffer_Ptr((void*)msg_buffer); in exclaves_endpoint_call()