__flush_invalidate_dcache_range
extern void __flush_invalidate_dcache_range(unsigned long, unsigned long);
__flush_invalidate_dcache_range((unsigned long)codemem, 6UL);
__flush_invalidate_dcache_range(fd->addr1, fd->addr2);
__flush_invalidate_dcache_range((unsigned long) dst, len);