Searched defs:allocpool_destroy (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Dallocpool.c33 void allocpool_destroy(struct alloc_pool *pool) function
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/
H A Dmodule.c81 static inline void allocpool_destroy(void) function

Completed in 84 milliseconds