|
@@ -482,10 +482,17 @@ static inline void __sync_cache_range_r(volatile void *p, size_t size)
|
|
|
: : : "r0","r1","r2","r3","r4","r5","r6","r7", \
|
|
|
"r9","r10","lr","memory" )
|
|
|
|
|
|
+#ifdef CONFIG_MMU
|
|
|
int set_memory_ro(unsigned long addr, int numpages);
|
|
|
int set_memory_rw(unsigned long addr, int numpages);
|
|
|
int set_memory_x(unsigned long addr, int numpages);
|
|
|
int set_memory_nx(unsigned long addr, int numpages);
|
|
|
+#else
|
|
|
+static inline int set_memory_ro(unsigned long addr, int numpages) { return 0; }
|
|
|
+static inline int set_memory_rw(unsigned long addr, int numpages) { return 0; }
|
|
|
+static inline int set_memory_x(unsigned long addr, int numpages) { return 0; }
|
|
|
+static inline int set_memory_nx(unsigned long addr, int numpages) { return 0; }
|
|
|
+#endif
|
|
|
|
|
|
#ifdef CONFIG_DEBUG_RODATA
|
|
|
void mark_rodata_ro(void);
|