Symbol: mips_intern_icache_sync_range
sys/arch/mips/mips/cache_mipsNN.c
105
mips_intern_icache_sync_range(va, size);
sys/arch/mips/mips/cache_r5k.c
110
mips_intern_icache_sync_range(va, size);