| #ifndef _S390_CACHEFLUSH_H | |
| #define _S390_CACHEFLUSH_H | |
| /* Caches aren't brain-dead on the s390. */ | |
| #include <asm-generic/cacheflush.h> | |
| #ifdef CONFIG_DEBUG_PAGEALLOC | |
| void kernel_map_pages(struct page *page, int numpages, int enable); | |
| #endif | |
| int set_memory_ro(unsigned long addr, int numpages); | |
| int set_memory_rw(unsigned long addr, int numpages); | |
| int set_memory_nx(unsigned long addr, int numpages); | |
| #endif /* _S390_CACHEFLUSH_H */ |