Lines Matching defs:size
58 void free (void * address, word_t size);
60 void * alloc (word_t size);
61 void * alloc_aligned (word_t size, word_t alignement, word_t mask);
73 void free(void * address, word_t size)
78 size = size >= 1024 ? size : 1024;
80 /** AUXUPD: "(True,ptr_retyps (unat \<acute>size div unat KMC) (ptr_val \<acute>address))" */
83 p < ((word_t*)(((word_t)address) + size - (1024)));
97 void sep_free(void * address, word_t size)
102 size = size >= 1024 ? size : 1024;
107 p < ((word_t*)(((word_t)address) + size - (1024)));
123 void * alloc(word_t size)
130 size = size >= 1024 ? size : 1024;
136 if (!((word_t) curr & (size - 1)))
139 for (i = 1; tmp && (i < (size / (1024))); i++)
155 for (i = 0; i < (size / sizeof(word_t)); i++)
166 void * sep_alloc(word_t size)
173 size = size >= 1024 ? size : 1024;
179 if (!((word_t) curr & (size - 1)))
182 for (i = 1; tmp && (i < (size / (1024))); i++)
198 for (i = 0; i < (size / sizeof(word_t)); i++)
212 void kmalloc_test(word_t size)
216 p = alloc(size);
220 free(p, size);
223 void sep_test(word_t size)
227 p = sep_alloc(size);
231 sep_free(p, size);