Searched refs:cached_buffer (Results 1 – 1 of 1) sorted by relevance
179 exclaves_ipc_buffer_cache_item_t *cached_buffer = exclaves_ipc_buffer_cache; in exclaves_ipc_buffer_cache_alloc() local180 exclaves_ipc_buffer_cache = cached_buffer->next; in exclaves_ipc_buffer_cache_alloc()186 ctx->ipcb = (void *)cached_buffer; in exclaves_ipc_buffer_cache_alloc()187 ctx->scid = cached_buffer->scid; in exclaves_ipc_buffer_cache_alloc()194 cached_buffer->next = NULL; in exclaves_ipc_buffer_cache_alloc()195 cached_buffer->scid = 0; in exclaves_ipc_buffer_cache_alloc()218 exclaves_ipc_buffer_cache_item_t *cached_buffer = NULL; in exclaves_ipc_buffer_cache_free() local220 cached_buffer = (void *)ctx->ipcb; in exclaves_ipc_buffer_cache_free()221 cached_buffer->scid = ctx->scid; in exclaves_ipc_buffer_cache_free()227 cached_buffer->next = exclaves_ipc_buffer_cache; in exclaves_ipc_buffer_cache_free()[all …]