flush_icache_user_range
ret = flush_icache_user_range(start, start + chunk);
extern void flush_icache_user_range(unsigned long address,
flush_icache_user_range(address, endaddr);
flush_icache_user_range(start_code, end_code);
flush_icache_user_range(addr, addr + len);
#ifndef flush_icache_user_range
flush_icache_user_range(region->vm_start, region->vm_end);
flush_icache_user_range(mm->brk, brk);