|
@@ -70,13 +70,20 @@
|
|
|
* - size - region size
|
|
|
*/
|
|
|
extern void flush_cache_all(void);
|
|
|
-extern void flush_cache_mm(struct mm_struct *mm);
|
|
|
extern void flush_cache_range(struct vm_area_struct *vma, unsigned long start, unsigned long end);
|
|
|
-extern void flush_cache_page(struct vm_area_struct *vma, unsigned long user_addr, unsigned long pfn);
|
|
|
extern void flush_icache_range(unsigned long start, unsigned long end);
|
|
|
extern void __flush_dcache_area(void *addr, size_t len);
|
|
|
extern void __flush_cache_user_range(unsigned long start, unsigned long end);
|
|
|
|
|
|
+static inline void flush_cache_mm(struct mm_struct *mm)
|
|
|
+{
|
|
|
+}
|
|
|
+
|
|
|
+static inline void flush_cache_page(struct vm_area_struct *vma,
|
|
|
+ unsigned long user_addr, unsigned long pfn)
|
|
|
+{
|
|
|
+}
|
|
|
+
|
|
|
/*
|
|
|
* Copy user data from/to a page which is mapped into a different
|
|
|
* processes address space. Really, we want to allow our "user
|