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 int set_memory_ro(unsigned long addr
, int numpages
);
8 int set_memory_rw(unsigned long addr
, int numpages
);
9 int set_memory_nx(unsigned long addr
, int numpages
);
10 int set_memory_x(unsigned long addr
, int numpages
);
12 #endif /* _S390_CACHEFLUSH_H */
