Function pooled_stack_dealloc

thread/stack-allocator.cpp:160–162

    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);
}

size_t pooled_stack_trim_current_vcpu(size_t keep_size) {
    return get_pooled_stack_allocator().trim(keep_size);