Searched refs:cached_buffer (Results 1 – 1 of 1) sorted by relevance
952 struct exclaves_ipc_buffer_cache_item *cached_buffer = NULL; in exclaves_acquire_ipc_buffer() local961 cached_buffer = exclaves_ipc_buffer_cache; in exclaves_acquire_ipc_buffer()962 exclaves_ipc_buffer_cache = cached_buffer->next; in exclaves_acquire_ipc_buffer()967 if (cached_buffer) { in exclaves_acquire_ipc_buffer()968 scid = cached_buffer->scid; in exclaves_acquire_ipc_buffer()971 cached_buffer->next = NULL; in exclaves_acquire_ipc_buffer()972 cached_buffer->scid = 0; in exclaves_acquire_ipc_buffer()974 ipcb = (Exclaves_L4_IpcBuffer_t*)cached_buffer; in exclaves_acquire_ipc_buffer()999 struct exclaves_ipc_buffer_cache_item *cached_buffer; in exclaves_relinquish_ipc_buffer() local1004 cached_buffer = (struct exclaves_ipc_buffer_cache_item*)ipcb; in exclaves_relinquish_ipc_buffer()[all …]