6 void alloc_init(void *pool, unsigned long poolsize);
7 void *alloc_get(void *pool, unsigned long poolsize,
8 unsigned long size, unsigned long align);
9 void alloc_free(void *pool, unsigned long poolsize, void *free);
10 bool alloc_check(void *pool, unsigned long poolsize);
12 void alloc_visualize(FILE *out, void *pool, unsigned long poolsize);