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
 8void kernel_map_pages(struct page *page, int numpages, int enable);
 9#endif
10
11int set_memory_ro(unsigned long addr, int numpages);
12int set_memory_rw(unsigned long addr, int numpages);
13int set_memory_nx(unsigned long addr, int numpages);
14int set_memory_x(unsigned long addr, int numpages);
15
16#endif /* _S390_CACHEFLUSH_H */