Lines Matching refs:cookie
76 static void allocman_utspace_queue_for_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) {
82 (struct allocman_freed_utspace_chunk) {size_bits, cookie};
112 void allocman_utspace_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits)
114 ALLOCMAN_FREE(alloc, utspace, cookie, size_bits);
163 return result.cookie;
365 allocman_utspace_free(alloc, chunk.cookie, chunk.size_bits);
381 seL4_Word cookie;
388 cookie = _allocman_utspace_alloc(alloc, alloc->utspace_chunk[i].size_bits, alloc->utspace_chunk[i].type, &slot, ALLOCMAN_NO_PADDR, false, &error, 0);
390 alloc->utspace_chunks[i][alloc->utspace_chunk_count[i]].cookie = cookie;