X-Git-Url: https://notaz.gp2x.de/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=pico%2Fpico.h;h=e5e832bd5203fd795eb19ff0ca1b9ef1e7cbc490;hb=c25d78eec11d2a22adbd0bc7d42a24e2d79e40e7;hp=6c6e7c5112eb30f274fb78f8bd69ee5d905f8591;hpb=2446536be520914616403876d7e49621ac6f4b95;p=picodrive.git

diff --git a/pico/pico.h b/pico/pico.h
index 6c6e7c5..e5e832b 100644
--- a/pico/pico.h
+++ b/pico/pico.h
@@ -37,6 +37,7 @@ extern void cache_flush_d_inval_i(void *start_addr, void *end_addr);
 extern void *plat_mmap(unsigned long addr, size_t size, int need_exec, int is_fixed);
 extern void *plat_mremap(void *ptr, size_t oldsize, size_t newsize);
 extern void  plat_munmap(void *ptr, size_t size);
+extern int   plat_mem_set_exec(void *ptr, size_t size);
 
 // this one should handle display mode changes
 extern void emu_video_mode_change(int start_line, int line_count, int is_32cols);