X-Git-Url: https://notaz.gp2x.de/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=platform%2Fcommon%2Fplat.h;h=1fb87676b8a4e3abd7f6cd5ff124d47a1e4d55e5;hb=06e68f1bb8a2f1ec4152b3c84e9fd0a0f79e805d;hp=0a9fc0b226328722c87eb9a978519a8a512acdf3;hpb=aecb3335547df2341014f01d74e2b088960d7d8e;p=picodrive.git

diff --git a/platform/common/plat.h b/platform/common/plat.h
index 0a9fc0b..1fb8767 100644
--- a/platform/common/plat.h
+++ b/platform/common/plat.h
@@ -45,6 +45,10 @@ int  plat_is_dir(const char *path);
 int  plat_wait_event(int *fds_hnds, int count, int timeout_ms);
 void plat_sleep_ms(int ms);
 
+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);
+
 /* timers, to be used for time diff and must refer to the same clock */
 unsigned int plat_get_ticks_ms(void);
 unsigned int plat_get_ticks_us(void);