Function pooled_stack_alloc

thread/stack-allocator.cpp:157–159

}

void* pooled_stack_alloc(void*, size_t stack_size) {
    return get_pooled_stack_allocator().alloc(stack_size);
}
void pooled_stack_dealloc(void*, void* stack_ptr, size_t stack_size) {
    get_pooled_stack_allocator().dealloc(stack_ptr, stack_size);
}