octeon_icache_sync_range
void octeon_icache_sync_range(register_t va, vsize_t size);
mco->mco_icache_sync_range = octeon_icache_sync_range;