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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c27 int in_free = free_depth > 0; local
28 return (properties.alloc_can_alloc || !in_alloc) && (properties.free_can_alloc || !in_free);
34 int in_free = free_depth > 0; local
35 return (properties.alloc_can_free || !in_alloc) && (properties.free_can_free || !in_free);

Completed in 25 milliseconds