| #ifndef _S390_CACHEFLUSH_H |
| #define _S390_CACHEFLUSH_H |
| /* Caches aren't brain-dead on the s390. */ |
| #include <asm-generic/cacheflush.h> |
| #define SET_MEMORY_RO 1UL |
| #define SET_MEMORY_RW 2UL |
| #define SET_MEMORY_NX 4UL |
| int __set_memory(unsigned long addr, int numpages, unsigned long flags); |
| static inline int set_memory_ro(unsigned long addr, int numpages) |
| return __set_memory(addr, numpages, SET_MEMORY_RO); |
| static inline int set_memory_rw(unsigned long addr, int numpages) |
| return __set_memory(addr, numpages, SET_MEMORY_RW); |
| static inline int set_memory_nx(unsigned long addr, int numpages) |
| return __set_memory(addr, numpages, SET_MEMORY_NX); |
| static inline int set_memory_x(unsigned long addr, int numpages) |
| return __set_memory(addr, numpages, SET_MEMORY_X); |
| #endif /* _S390_CACHEFLUSH_H */ |