1 #ifndef _S390_CACHEFLUSH_H
2 #define _S390_CACHEFLUSH_H
4 /* Caches aren't brain-dead on the s390. */
5 #include <asm-generic/cacheflush.h>
7 #ifdef CONFIG_DEBUG_PAGEALLOC
8 void kernel_map_pages(struct page
*page
, int numpages
, int enable
);
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
);
16 #endif /* _S390_CACHEFLUSH_H */