add plat_mem_set_exec()

linux/plat.c

@@ -200,6 +200,16 @@ void plat_munmap(void *ptr, size_t size)
 	}
 }
 
+int plat_mem_set_exec(void *ptr, size_t size)
+{
+	int ret = mprotect(ptr, size, PROT_READ | PROT_WRITE | PROT_EXEC);
+	if (ret != 0)
+		fprintf(stderr, "mprotect(%p, %zd) failed: %d\n",
+			ptr, size, errno);
+
+	return ret;
+}
+
 /* lprintf */
 void lprintf(const char *fmt, ...)
 {

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);