+void *plat_mremap(void *ptr, size_t oldsize, size_t newsize)
+{
+ void *ret;
+
+ ret = mremap(ptr, oldsize, newsize, MREMAP_MAYMOVE);
+ if (ret == MAP_FAILED)
+ return NULL;
+ if (ret != ptr)
+ printf("warning: mremap moved: %p -> %p\n", ptr, ret);
+
+ return ret;
+}
+