Input: pcspkr - separate device and driver registration
[powerpc.git] / include / asm-i386 / cacheflush.h
index 2ea36de..7199f7b 100644 (file)
@@ -31,4 +31,8 @@ int change_page_attr(struct page *page, int numpages, pgprot_t prot);
 void kernel_map_pages(struct page *page, int numpages, int enable);
 #endif
 
+#ifdef CONFIG_DEBUG_RODATA
+void mark_rodata_ro(void);
+#endif
+
 #endif /* _I386_CACHEFLUSH_H */