1/* SPDX-License-Identifier: GPL-2.0-only */
2
3#ifndef _ASM_ARM64_SET_MEMORY_H
4#define _ASM_ARM64_SET_MEMORY_H
5
6#include <asm-generic/set_memory.h>
7
8bool can_set_direct_map(void);
9#define can_set_direct_map can_set_direct_map
10
11int set_memory_valid(unsigned long addr, int numpages, int enable);
12
13int set_direct_map_invalid_noflush(struct page *page);
14int set_direct_map_default_noflush(struct page *page);
15bool kernel_page_present(struct page *page);
16
17#endif /* _ASM_ARM64_SET_MEMORY_H */
18