| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | #ifndef _S390_CACHEFLUSH_H |
| 2 | #define _S390_CACHEFLUSH_H |
| 3 | |
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 4 | /* Caches aren't brain-dead on the s390. */ |
| Akinobu Mita | 786cca8 | 2011-01-31 11:30:07 +0100 | [diff] [blame] | 5 | #include <asm-generic/cacheflush.h> |
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 6 | |
| Heiko Carstens | 2485579 | 2008-02-05 16:50:37 +0100 | [diff] [blame] | 7 | #ifdef CONFIG_DEBUG_PAGEALLOC |
| 8 | void kernel_map_pages(struct page *page, int numpages, int enable); |
| 9 | #endif |
| 10 | |
| Jan Glauber | 305b152 | 2011-03-15 17:08:22 +0100 | [diff] [blame] | 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 | |
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 15 | #endif /* _S390_CACHEFLUSH_H */ |