release_mem_region_adjustable
extern void release_mem_region_adjustable(resource_size_t, resource_size_t);
release_mem_region_adjustable(start, size);