cacheflush.h 380 B

12345678910111213
  1. #ifndef _S390_CACHEFLUSH_H
  2. #define _S390_CACHEFLUSH_H
  3. /* Caches aren't brain-dead on the s390. */
  4. #include <asm-generic/cacheflush.h>
  5. int set_memory_ro(unsigned long addr, int numpages);
  6. int set_memory_rw(unsigned long addr, int numpages);
  7. int set_memory_nx(unsigned long addr, int numpages);
  8. int set_memory_x(unsigned long addr, int numpages);
  9. #endif /* _S390_CACHEFLUSH_H */