Rev 6934 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 6934 | Rev 7143 | ||
---|---|---|---|
Line 2... | Line 2... | ||
2 | #define _ASM_X86_CACHEFLUSH_H |
2 | #define _ASM_X86_CACHEFLUSH_H |
Line 3... | Line 3... | ||
3 | 3 | ||
4 | /* Caches aren't brain-dead on the intel. */ |
4 | /* Caches aren't brain-dead on the intel. */ |
5 | #include |
5 | #include |
- | 6 | #include |
|
Line 6... | Line 7... | ||
6 | #include |
7 | #include |
7 | 8 | ||
8 | /* |
9 | /* |
9 | * The set_memory_* API can be used to change various attributes of a virtual |
10 | * The set_memory_* API can be used to change various attributes of a virtual |
Line 111... | Line 112... | ||
111 | 112 | ||
Line 112... | Line 113... | ||
112 | void clflush_cache_range(void *addr, unsigned int size); |
113 | void clflush_cache_range(void *addr, unsigned int size); |
Line 113... | Line -... | ||
113 | - | ||
114 | #define mmio_flush_range(addr, size) clflush_cache_range(addr, size) |
- | |
115 | 114 | ||
116 | #ifdef CONFIG_DEBUG_RODATA |
115 | #define mmio_flush_range(addr, size) clflush_cache_range(addr, size) |
117 | void mark_rodata_ro(void); |
116 | |
118 | extern const int rodata_test_data; |
117 | extern const int rodata_test_data; |
119 | extern int kernel_set_to_readonly; |
- | |
120 | void set_kernel_text_rw(void); |
- | |
121 | void set_kernel_text_ro(void); |
- | |
122 | #else |
- | |
Line 123... | Line 118... | ||
123 | static inline void set_kernel_text_rw(void) { } |
118 | extern int kernel_set_to_readonly; |
124 | static inline void set_kernel_text_ro(void) { } |
119 | void set_kernel_text_rw(void); |
125 | #endif |
120 | void set_kernel_text_ro(void); |
126 | 121 |