1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 1999-2002 Russell King
4 */
5
6#ifndef _ASMARM_SET_MEMORY_H
7#define _ASMARM_SET_MEMORY_H
8
9#ifdef CONFIG_MMU
10int set_memory_ro(unsigned long addr, int numpages);
11int set_memory_rw(unsigned long addr, int numpages);
12int set_memory_x(unsigned long addr, int numpages);
13int set_memory_nx(unsigned long addr, int numpages);
14#else
15static inline int set_memory_ro(unsigned long addr, int numpages) { return 0; }
16static inline int set_memory_rw(unsigned long addr, int numpages) { return 0; }
17static inline int set_memory_x(unsigned long addr, int numpages) { return 0; }
18static inline int set_memory_nx(unsigned long addr, int numpages) { return 0; }
19#endif
20
21#ifdef CONFIG_STRICT_KERNEL_RWX
22void set_kernel_text_rw(void);
23void set_kernel_text_ro(void);
24#else
25static inline void set_kernel_text_rw(void) { }
26static inline void set_kernel_text_ro(void) { }
27#endif
28
29#endif
30