Searched refs:Exclaves_L4_IpcBuffer_Size (Results 1 – 4 of 4) sorted by relevance
161 static_assert(Exclaves_L4_IpcBuffer_Size >=207 bzero(ctx->ipcb, Exclaves_L4_IpcBuffer_Size); in exclaves_ipc_buffer_cache_free()
299 usize != Exclaves_L4_IpcBuffer_Size) { in _exclaves_ctl_trap()
297 #define Exclaves_L4_IpcBuffer_Size (sizeof(Exclaves_L4_IpcBuffer_t)) macro
51 if (size != Exclaves_L4_IpcBuffer_Size) { in exclaves_endpoint_call()