|
@@ -15,9 +15,6 @@ extern void flush_cache_range(struct vm_area_struct *vma, unsigned long start,
|
|
|
extern void flush_cache_page(struct vm_area_struct *vma, unsigned long addr, unsigned long pfn);
|
|
|
extern void flush_dcache_page(struct page *pg);
|
|
|
extern void flush_icache_range(unsigned long start, unsigned long end);
|
|
|
-extern void flush_icache_user_range(struct vm_area_struct *vma,
|
|
|
- struct page *page, unsigned long addr,
|
|
|
- int len);
|
|
|
|
|
|
#define flush_cache_dup_mm(mm) flush_cache_mm(mm)
|
|
|
#define flush_icache_page(vma, page) do { } while (0)
|