Searched refs:cached_buffer (Results 1 – 1 of 1) sorted by relevance
180 exclaves_ipc_buffer_cache_item_t *cached_buffer = exclaves_ipc_buffer_cache; in exclaves_ipc_buffer_cache_alloc() local181 exclaves_ipc_buffer_cache = cached_buffer->next; in exclaves_ipc_buffer_cache_alloc()187 ctx->ipcb = (void *)cached_buffer; in exclaves_ipc_buffer_cache_alloc()188 ctx->scid = cached_buffer->scid; in exclaves_ipc_buffer_cache_alloc()195 cached_buffer->next = NULL; in exclaves_ipc_buffer_cache_alloc()196 cached_buffer->scid = 0; in exclaves_ipc_buffer_cache_alloc()219 exclaves_ipc_buffer_cache_item_t *cached_buffer = NULL; in exclaves_ipc_buffer_cache_free() local221 cached_buffer = (void *)ctx->ipcb; in exclaves_ipc_buffer_cache_free()222 cached_buffer->scid = ctx->scid; in exclaves_ipc_buffer_cache_free()228 cached_buffer->next = exclaves_ipc_buffer_cache; in exclaves_ipc_buffer_cache_free()[all …]