1 files changed, 5 insertions, 0 deletions
diff --git a/frontend/linux/plat_mmap.h b/frontend/linux/plat_mmap.h
new file mode 100644
index 0000000..175246e
--- /dev/null
+++ b/frontend/linux/plat_mmap.h
@@ -0,0 +1,5 @@
+#include <stdlib.h>
+
+void *plat_mmap(unsigned long addr, size_t size, int need_exec, int is_fixed);
+void *plat_mremap(void *ptr, size_t oldsize, size_t newsize);
+void  plat_munmap(void *ptr, size_t size);