__flush_dcache_range
void __flush_dcache_range(unsigned long start, unsigned long end);
__flush_dcache_range((unsigned long) ivector_table,
EXPORT_SYMBOL(__flush_dcache_range);
__flush_dcache_range(start, (end) - (start)); \
__flush_dcache_range((unsigned long) dst, len); \
extern void __flush_dcache_range(unsigned long, unsigned long);
do_cache_op(paddr, size, __flush_dcache_range);
__flush_dcache_range((unsigned long)dst,len);