|
@@ -65,7 +65,6 @@
|
|
* - kaddr - page address
|
|
* - kaddr - page address
|
|
* - size - region size
|
|
* - size - region size
|
|
*/
|
|
*/
|
|
-extern void flush_cache_range(struct vm_area_struct *vma, unsigned long start, unsigned long end);
|
|
|
|
extern void flush_icache_range(unsigned long start, unsigned long end);
|
|
extern void flush_icache_range(unsigned long start, unsigned long end);
|
|
extern void __flush_dcache_area(void *addr, size_t len);
|
|
extern void __flush_dcache_area(void *addr, size_t len);
|
|
extern void __clean_dcache_area_poc(void *addr, size_t len);
|
|
extern void __clean_dcache_area_poc(void *addr, size_t len);
|
|
@@ -82,6 +81,11 @@ static inline void flush_cache_page(struct vm_area_struct *vma,
|
|
{
|
|
{
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+static inline void flush_cache_range(struct vm_area_struct *vma,
|
|
|
|
+ unsigned long start, unsigned long end)
|
|
|
|
+{
|
|
|
|
+}
|
|
|
|
+
|
|
/*
|
|
/*
|
|
* Cache maintenance functions used by the DMA API. No to be used directly.
|
|
* Cache maintenance functions used by the DMA API. No to be used directly.
|
|
*/
|
|
*/
|