1 #ifndef _S390_CACHEFLUSH_H
2 #define _S390_CACHEFLUSH_H
3 
4 /* Caches aren't brain-dead on the s390. */
5 #include <asm-generic/cacheflush.h>
6 
7 #ifdef CONFIG_DEBUG_PAGEALLOC
8 void kernel_map_pages(struct page *page, int numpages, int enable);
9 #endif
10 
11 int set_memory_ro(unsigned long addr, int numpages);
12 int set_memory_rw(unsigned long addr, int numpages);
13 int set_memory_nx(unsigned long addr, int numpages);
14 int set_memory_x(unsigned long addr, int numpages);
15 
16 #endif /* _S390_CACHEFLUSH_H */
17