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