+void *plat_mmap(unsigned long addr, size_t size)
+{
+ void *req, *ret;
+
+ req = (void *)addr;
+ ret = mmap(req, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
+ if (ret == MAP_FAILED)
+ return NULL;
+ if (ret != req)
+ printf("warning: mmaped to %p, requested %p\n", ret, req);
+
+ return ret;
+}
+
+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;
+}
+
+void plat_munmap(void *ptr, size_t size)
+{
+ munmap(ptr, size);
+}
+
+/* lprintf */
+void lprintf(const char *fmt, ...)
+{
+ va_list vl;
+
+ va_start(vl, fmt);
+ vprintf(fmt, vl);
+ va_end(vl);
+}
+