invalidate_dcache_range
invalidate_dcache_range(paddr, paddr + size);
extern void invalidate_dcache_range(unsigned long start, unsigned long end);
EXPORT_SYMBOL(invalidate_dcache_range);
invalidate_dcache_range((unsigned long)vaddr,
invalidate_dcache_range((unsigned long)vaddr,
invalidate_dcache_range(start, end);