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

/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dmemman.h289 void alloc_debug_level(struct heap_descriptor *, int);
H A Dalloc.c731 alloc_debug_level(struct heap_descriptor *hd, int debug_level) function
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dmem.c1241 alloc_debug_level(&global_heap, ec_options.debug_level);
1315 alloc_debug_level(&private_heap, ec_options.debug_level);

Completed in 81 milliseconds