add plat_mem_set_exec()

[libpicofe.git] / plat.h

diff --git a/plat.h b/plat.h
index ab9b3e7..54436cd 100644 (file)
--- a/plat.h
+++ b/plat.h
@@ -102,6 +102,7 @@ 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);
+int   plat_mem_set_exec(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);