__cpuc_coherent_kern_range
extern void __cpuc_coherent_kern_range(unsigned long, unsigned long);
#define flush_icache_range(s,e) __cpuc_coherent_kern_range(s,e)
__cpuc_coherent_kern_range(addr, addr + len);
__cpuc_coherent_kern_range(addr, addr + len);
EXPORT_SYMBOL(__cpuc_coherent_kern_range);