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