Symbol: delete_debug_alloc_pool
headers/private/kernel/debug_heap.h
20
void delete_debug_alloc_pool(debug_alloc_pool* pool);
headers/private/kernel/debug_heap.h
63
delete_debug_alloc_pool(fPool);
src/system/kernel/debug/debug.cpp
948
delete_debug_alloc_pool(allocPool);