arch/s390/include/asm/cacheflush.h

   1 #ifndef _S390_CACHEFLUSH_H
   2 #define _S390_CACHEFLUSH_H
   3
   4 /* Caches aren't brain-dead on the s390. */
   5 #include <asm-generic/cacheflush.h>
   6
   7 #ifdef CONFIG_DEBUG_PAGEALLOC
   8 void kernel_map_pages(struct page *page, int numpages, int enable);
   9 #endif
  10
  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 int set_memory_x(unsigned long addr, int numpages);
  15
  16 #endif /* _S390_CACHEFLUSH_H */