Searched refs:id32_cache (Results 1 – 1 of 1) sorted by relevance
35 static kmem_cache_t *id32_cache; variable66 id32_cache = kmem_cache_create("id32_cache", ID32_ALIGN, ID32_ALIGN, in id32_init()76 void **hent = kmem_cache_alloc(id32_cache, kmflag); in id32_alloc()99 kmem_cache_free(id32_cache, (void *)(uintptr_t)ID32_DECODE(id)); in id32_free()