| /* | |
| * Copyright (C) 1999-2002 Russell King | |
| * | |
| * This program is free software; you can redistribute it and/or modify | |
| * it under the terms of the GNU General Public License version 2 as | |
| * published by the Free Software Foundation. | |
| */ | |
| #ifndef _ASMARM_SET_MEMORY_H | |
| #define _ASMARM_SET_MEMORY_H | |
| #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_STRICT_KERNEL_RWX | |
| void set_kernel_text_rw(void); | |
| void set_kernel_text_ro(void); | |
| #else | |
| static inline void set_kernel_text_rw(void) { } | |
| static inline void set_kernel_text_ro(void) { } | |
| #endif | |
| #endif |