r4k_icache_sync_all_generic
void r4k_icache_sync_all_generic(void);
mco->mco_icache_sync_all = r4k_icache_sync_all_generic;