start new makefile, migrate to libpicofe

[picodrive.git] / pico / pico.h

diff --git a/pico/pico.h b/pico/pico.h
index ac5eb05..da0a9a7 100644 (file)
--- a/pico/pico.h
+++ b/pico/pico.h
@@ -33,7 +33,7 @@ extern void cache_flush_d_inval_i(const void *start_addr, const void *end_addr);
 \r
 // attempt to alloc mem at specified address.\r
 // alloc anywhere else if that fails (callers should handle that)\r
-extern void *plat_mmap(unsigned long addr, size_t size);\r
+extern void *plat_mmap(unsigned long addr, size_t size, int need_exec, int is_fixed);\r
 extern void *plat_mremap(void *ptr, size_t oldsize, size_t newsize);\r
 extern void  plat_munmap(void *ptr, size_t size);\r
 \r