Searched refs:_can_free (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c31 static inline int _can_free(struct allocman_properties properties, size_t alloc_depth, size_t free_depth) function
91 if (!_can_free(alloc->space.properties, alloc->space##_alloc_depth, alloc->space##_free_depth)) { \

Completed in 25 milliseconds