2005-04-17 06:20:36 +08:00
|
|
|
#ifndef _S390_CACHEFLUSH_H
|
|
|
|
#define _S390_CACHEFLUSH_H
|
|
|
|
|
|
|
|
/* Caches aren't brain-dead on the s390. */
|
2011-01-31 18:30:07 +08:00
|
|
|
#include <asm-generic/cacheflush.h>
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2008-02-05 23:50:37 +08:00
|
|
|
#ifdef CONFIG_DEBUG_PAGEALLOC
|
|
|
|
void kernel_map_pages(struct page *page, int numpages, int enable);
|
|
|
|
#endif
|
|
|
|
|
2011-03-16 00:08:22 +08:00
|
|
|
int set_memory_ro(unsigned long addr, int numpages);
|
|
|
|
int set_memory_rw(unsigned long addr, int numpages);
|
|
|
|
int set_memory_nx(unsigned long addr, int numpages);
|
2011-05-20 06:55:26 +08:00
|
|
|
int set_memory_x(unsigned long addr, int numpages);
|
2011-03-16 00:08:22 +08:00
|
|
|
|
2005-04-17 06:20:36 +08:00
|
|
|
#endif /* _S390_CACHEFLUSH_H */
|