__invalidate_icache_range
__invalidate_icache_range(start,(end) - (start)); \
__invalidate_icache_range((unsigned long) dst, len); \
extern void __invalidate_icache_range(unsigned long, unsigned long);
__invalidate_icache_range(patch->addr, patch->sz);
__invalidate_icache_range((unsigned long)codemem, 6UL);
__invalidate_icache_range((unsigned long) dst, len);