| /* |
| * 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 |
