|
@@ -32,6 +32,7 @@ void (*local_flush_data_cache_page)(void * addr);
|
|
void (*flush_data_cache_page)(unsigned long addr);
|
|
void (*flush_data_cache_page)(unsigned long addr);
|
|
void (*flush_icache_all)(void);
|
|
void (*flush_icache_all)(void);
|
|
|
|
|
|
|
|
+EXPORT_SYMBOL_GPL(local_flush_data_cache_page);
|
|
EXPORT_SYMBOL(flush_data_cache_page);
|
|
EXPORT_SYMBOL(flush_data_cache_page);
|
|
|
|
|
|
#ifdef CONFIG_DMA_NONCOHERENT
|
|
#ifdef CONFIG_DMA_NONCOHERENT
|